Removed some shit

andrejbauer · Nov 7, 2012 · 6f68199 · 6f68199
1 parent 8a0ef44
commit 6f68199
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/infer.ml b/infer.ml
@@ -5,7 +5,7 @@ let rec normalize ctx = function
   | Var x ->
     (match
         (try Ctx.lookup_value x ctx
-         with Not_found -> Error.runtime "shit, unkown identifier %t" (Print.variable x))
+         with Not_found -> Error.runtime "unkown identifier %t" (Print.variable x))
      with
        | None -> Var x
        | Some e -> normalize ctx e)