diff options
Diffstat (limited to 'src/InterpreterStatements.ml')
-rw-r--r-- | src/InterpreterStatements.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/InterpreterStatements.ml b/src/InterpreterStatements.ml index ef7c09e8..5a700f1a 100644 --- a/src/InterpreterStatements.ml +++ b/src/InterpreterStatements.ml @@ -1009,7 +1009,11 @@ and eval_local_function_call_concrete (config : C.config) (fid : A.FunDeclId.id) (* We can evaluate the function call only if it is not opaque *) let body = match def.body with - | None -> raise (Failure "Can't evaluate a call to an opaque function") + | None -> + raise + (Failure + ("Can't evaluate a call to an opaque function: " + ^ Print.name_to_string def.name)) | Some body -> body in let tsubst = |