diff options
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))) |