diff --git a/src/engine.ml b/src/engine.ml
index b7516bf584d68b846ad53d295075f64fb5f783ed..17b4fa1769a9fe2cd9aac7dfcd537458abfa554b 100644
--- a/src/engine.ml
+++ b/src/engine.ml
@@ -13,9 +13,6 @@ module Make (T : TABLE) = struct
 
   include T
 
-  let _eRR : exn =
-    Error
-
   (* --------------------------------------------------------------------------- *)
 
   (* The type [void] is empty. Many of the functions below have return type
@@ -290,7 +287,7 @@ module Make (T : TABLE) = struct
 
       (* The stack is empty. Die. *)
 
-      raise _eRR
+      raise Error
 
     else begin