Have exceptions working in C backend

1 files changed, 0 insertions, 4 deletions

diff --git a/src/isail.ml b/src/isail.ml
index ffeb1442..ce17561d 100644
--- a/src/isail.ml
+++ b/src/isail.ml
@@ -294,10 +294,6 @@ let handle_input' input =
                interactive_state := initial_state !interactive_ast;
                interactive_env := env;
                vs_ids := Initial_check.val_spec_ids !interactive_ast
-            | ":compile" ->
-               let exp = Type_check.infer_exp !interactive_env (Initial_check.exp_of_string Ast_util.dec_ord arg) in
-               let anf = C_backend.compile_exp (C_backend.initial_ctx !interactive_env) exp in
-               print_endline (Pretty_print_sail.to_string (C_backend.pp_aexp anf))
             | ":u" | ":unload" ->
                interactive_ast := Ast.Defs [];
                interactive_env := Type_check.initial_env;