diff options
| author | Jon French | 2019-03-14 14:46:42 +0000 |
|---|---|---|
| committer | Jon French | 2019-03-14 14:46:42 +0000 |
| commit | 1ffd3e2bfb5cbf32c3340af38ff39207a55a9b52 (patch) | |
| tree | 755f7c077d943458f196209d87c636b283e1c5bb /src/interpreter.ml | |
| parent | 0d88c148a2a068a95b5fc3d5c25b599faf3e75a0 (diff) | |
fix typo in interpreter excl_res intrinsic
Diffstat (limited to 'src/interpreter.ml')
| -rw-r--r-- | src/interpreter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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" |