From 42d455e1ef82312b4433bc11b7098463f82f56ee Mon Sep 17 00:00:00 2001
From: Vesa Karvonen <vesa.a.j.k@gmail.com>
Date: Sun, 26 Jul 2020 12:10:53 +0300
Subject: [PATCH] Remove unused code

---
 elab.ml  | 2 --
 elab.mli | 2 --
 2 files changed, 4 deletions(-)

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