From 1ffd3e2bfb5cbf32c3340af38ff39207a55a9b52 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Thu, 14 Mar 2019 14:46:42 +0000
Subject: fix typo in interpreter excl_res intrinsic

---
 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 24af75e2..bf60cc60 100644
--- a/src/interpreter.ml
+++ b/src/interpreter.ml
@@ -402,7 +402,7 @@ let rec step (E_aux (e_aux, annot) as orig_exp) =
                end
             | "excl_res" ->
                begin match evaluated with
-               | [] ->
+               | [_] ->
                   excl_res () >>= fun b -> return (exp_of_value (V_bool b))
                | _ ->
                   fail "Wrong number of parameters to excl_res intrinsic"
-- 
cgit v1.2.3