From b664a5b1e4814a1f0105b76d5b5265e095200c3d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 1 May 2022 16:15:54 +0200
Subject: Cleanup

---
 src/SymbolicToPure.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'src/SymbolicToPure.ml')

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
-- 
cgit v1.2.3