Skip to content
Snippets Groups Projects
Commit c70d44de authored by François Bobot's avatar François Bobot Committed by Michele Alberti
Browse files

[interpretation] Remove spurious dead code.

parent bf96be22
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 2 deletions
src/interpretation.ml
+ 0
− 2
View file @ c70d44de
......@@ -93,8 +93,6 @@ let built_in_caisar : caisar_env Caisar_reduction_engine.built_in_theories list
in
[
(* ["bool"],"Bool", [], [ "True", None, eval_true ; "False", None,
eval_false ; ] ; *)
( [ "caisar" ],
"Interpret",
[],
......
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