diff options
Diffstat (limited to 'src/SymbolicToPure.ml')
-rw-r--r-- | src/SymbolicToPure.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml index 14a844a1..c0e47ca7 100644 --- a/src/SymbolicToPure.ml +++ b/src/SymbolicToPure.ml @@ -1512,9 +1512,7 @@ and translate_expansion (config : config) (p : S.mplace option) let branches = List.map translate_branch branches in let otherwise = translate_expression config otherwise ctx in let pat_ty = Integer int_ty in - let otherwise_pat : typed_pattern = - { value = PatVar Dummy; ty = pat_ty } - in + let otherwise_pat : typed_pattern = { value = PatDummy; ty = pat_ty } in let otherwise : match_branch = { pat = otherwise_pat; branch = otherwise } in |