diff options
| author | Jon French | 2019-04-12 14:43:17 +0100 |
|---|---|---|
| committer | Jon French | 2019-04-12 14:43:17 +0100 |
| commit | f2cdaab5fd7f648c1037c504e289e881ce8bbf47 (patch) | |
| tree | e06eb09dfde7582015a39ceec18d2abd11b8c592 /src | |
| parent | 4d3e9db83ec604eb7379f51ebd6e9423271f3c1e (diff) | |
Interpreter: remove debug printing (oops)
Diffstat (limited to 'src')
| -rw-r--r-- | src/interpreter.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/interpreter.ml b/src/interpreter.ml index bf60cc60..1ebfdeff 100644 --- a/src/interpreter.ml +++ b/src/interpreter.ml @@ -422,7 +422,6 @@ let rec step (E_aux (e_aux, annot) as orig_exp) = fail "Wrong number of parameters to barrier intrinsic" end | _ -> - prerr_endline ("calling get_primop for '" ^ extern ^ "' with args (" ^ String.concat ", " (List.map string_of_exp evaluated) ^ ")"); get_primop extern >>= fun op -> try return (exp_of_value (op (List.map value_of_exp evaluated))) |