diff options
Diffstat (limited to 'src/Synthesis.ml')
| -rw-r--r-- | src/Synthesis.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Synthesis.ml b/src/Synthesis.ml index 79fa4065..b0ecd554 100644 --- a/src/Synthesis.ml +++ b/src/Synthesis.ml @@ -71,4 +71,4 @@ let synthesize_function_call (_fid : A.fun_id) let synthesize_panic () : unit = () -let synthesize_assert (v : V.typed_value) : unit = () +let synthesize_assert (_v : V.typed_value) : unit = () |