diff --git a/elab.ml b/elab.ml
index 474d39e9..ed225c3e 100644
--- 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
index 346a83c1..7e51c6d9 100644
--- 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