Remove unused code

polytypic · polytypic · commit 42d455e1ef82 · 2020-07-26T12:10:53.000+03:00
diff --git a/elab.ml b/elab.ml
@@ -10,8 +10,6 @@ open Erase
 
 module EL = Syntax
 
-exception Error of string
-
 let quote x = "`" ^ x ^ "'"
 
 
diff --git a/elab.mli b/elab.mli
@@ -4,8 +4,6 @@
 
 (* Elaboration *)
 
-exception Error of string
-
 val elab : Env.env -> Syntax.exp -> Types.extyp * Types.eff * Fomega.exp
 
 
