From 8182b700da5cc0a4b64b3d5dd1c486b112c0a092 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 25 Oct 2019 17:46:30 +0100
Subject: Allow interactive commands to be setup outside isail.ml

can use Interactive.register_command to set up a new interactive
command, which allows commands to be set up near where the
functionality they interact with is defined, e.g. the ast slicing
commands are registered in Slice.ml. Also allows help messages to be
generated in a consistent way.
---
 src/interpreter.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/interpreter.ml')

diff --git a/src/interpreter.ml b/src/interpreter.ml
index 6707bc0b..dd322369 100644
--- a/src/interpreter.ml
+++ b/src/interpreter.ml
@@ -52,8 +52,6 @@ open Ast
 open Ast_util
 open Value
 
-
-
 type gstate =
   { registers : value Bindings.t;
     allow_registers : bool; (* For some uses we want to forbid touching any registers. *)
-- 
cgit v1.2.3