From 3c0884cfa554ff5389a452d11065233a40863d0f Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Sun, 25 Feb 2018 21:11:06 +0300
Subject: [PATCH] Fixed common.mlyet again

---
 regression/common.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/regression/common.ml b/regression/common.ml
index fa06cbe4e..924f31344 100644
--- a/regression/common.ml
+++ b/regression/common.ml
@@ -9,7 +9,7 @@ let state ps = List.fold_right (fun (x, v) (s, p) -> Expr.update x v s, (x =:= !
 let eval  (s, p) e =
   let orig      = Expr.eval s e in
   let stmt      = List.fold_right (fun p s -> p |> s) p (Stmt.Write e) in
-  let [s_orig]  = eval [] stmt in
+  let [s_orig]  = Stmt.eval [] stmt in
   let [sm_orig] = SM.run [] (SM.compile stmt) in
   if conj (orig = s_orig) (orig = sm_orig)
   then Printf.printf "%d\n" orig