diff options
Diffstat (limited to '')
-rw-r--r-- | compiler/Assumed.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Assumed.ml b/compiler/Assumed.ml index 7fba3c5c..e751d0ba 100644 --- a/compiler/Assumed.ml +++ b/compiler/Assumed.ml @@ -8,7 +8,7 @@ TODO: implementing the concrete evaluation functions for the assumed functions is really annoying (see - {!InterpreterStatements.eval_non_local_function_call_concrete}), + [InterpreterStatements.eval_non_local_function_call_concrete]), I think it should be possible, in most situations, to write bodies which model the behaviour of those unsafe functions. For instance, [Box::deref_mut] should simply be: |