Skip to content

GitLab

M
menhir
Commit 0fe47d21 authored by POTTIER Francois's avatar POTTIER Francois
Browse files
Options

Do not preallocate [Error]. Pointless.

parent 30a41885
Show whitespace changes
Inline Side-by-side
Showing with 1 addition and 4 deletions
src/engine.ml
View file @ 0fe47d21
...@@ -13,9 +13,6 @@ module Make (T : TABLE) = struct ...@@ -13,9 +13,6 @@ module Make (T : TABLE) = struct
include T include T
let _eRR : exn =
Error
(* --------------------------------------------------------------------------- *) (* --------------------------------------------------------------------------- *)
(* The type [void] is empty. Many of the functions below have return type (* The type [void] is empty. Many of the functions below have return type
...@@ -290,7 +287,7 @@ module Make (T : TABLE) = struct ...@@ -290,7 +287,7 @@ module Make (T : TABLE) = struct
(* The stack is empty. Die. *) (* The stack is empty. Die. *)
raise _eRR raise Error
else begin else begin
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment