diff options
Diffstat (limited to '')
-rw-r--r-- | src/SymbolicToPure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml index 6c35e541..dbf09e57 100644 --- a/src/SymbolicToPure.ml +++ b/src/SymbolicToPure.ml @@ -62,7 +62,7 @@ type fun_sig_named_outputs = { to generate beautiful codes (we may need to introduce temporary variables in the bodies of the backward functions to store the returned values, in which case we use those names). - *) + *) } type fun_context = { |