minor eval fix

tk744 · Dec 19, 2020 · 5fffa72 · 5fffa72
1 parent 91c4980
commit 5fffa72
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/eval.ml b/src/eval.ml
@@ -251,9 +251,9 @@ and eval_exp (e: exp) (s: store) : value * store =
       match v1 with
       | V_bool b ->
         if b then 
-          eval_exp e1 s1 
+          eval_exp e2 s1 
         else 
-          eval_exp e2 s1
+          eval_exp e3 s1
       | _ ->
         raise_typ_exn "If-expression guard"
     end