[Civl] small fix (#855)

Co-authored-by: Shaz Qadeer <[email protected]>
boogie-org · Mar 6, 2024 · 9b83c3a · 9b83c3a
1 parent 732ebe0
commit 9b83c3a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/Concurrency/CivlCoreTypes.cs b/Source/Concurrency/CivlCoreTypes.cs
@@ -269,7 +269,7 @@ private void DropSetChoice(CivlTypeChecker civlTypeChecker, Implementation impl)
 
     private void DesugarSetChoice(CivlTypeChecker civlTypeChecker, Implementation impl)
     {
-      var choice = VarHelper.Formal("choice", TypeHelper.CtorType(ChoiceDatatypeTypeCtorDecl), false);
+      var choice = civlTypeChecker.Formal("choice", TypeHelper.CtorType(ChoiceDatatypeTypeCtorDecl), false);
       impl.Proc.OutParams.Add(choice);
       impl.OutParams.Add(choice);
       impl.Blocks.ForEach(block =>