From 727abfbae118d9cdf8d8b47b080a5453cecf9c7d Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 4 Jun 2019 15:18:27 +0100
Subject: SMT: Add a fuzzing tool for the SMT builtins

---
 src/interpreter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/interpreter.ml')

diff --git a/src/interpreter.ml b/src/interpreter.ml
index db4f45f6..def0963f 100644
--- a/src/interpreter.ml
+++ b/src/interpreter.ml
@@ -549,7 +549,7 @@ let rec step (E_aux (e_aux, annot) as orig_exp) =
      wrap (E_block (E_aux (E_assign (lexp, exp), annot) :: body))
   | E_var (lexp, exp, body) ->
      wrap (E_block [E_aux (E_assign (lexp, exp), annot); body])
-     
+
   | E_assign (lexp, exp) when not (is_value exp) -> step exp >>= fun exp' -> wrap (E_assign (lexp, exp'))
   | E_assign (LEXP_aux (LEXP_memory (id, args), _), exp) -> wrap (E_app (id, args @ [exp]))
   | E_assign (LEXP_aux (LEXP_field (lexp, id), ul), exp) ->
-- 
cgit v1.2.3