work-around for runtimeverification/k#2397

dfava · Jan 15, 2018 · ca69b6d · ca69b6d
1 parent 8e518b7
commit ca69b6d
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/src/k/mmgo/mmgo-select.k b/src/k/mmgo/mmgo-select.k
@@ -242,11 +242,7 @@ module MMGO-SELECT
        <goroutine> // Receiver
          <id> _ </id>
          <k> selAux(.K) => selClear ~> Tr[V/Zr] ... </k>
-         <select>
-           ...
-           <selBranch> (let Zr:Id = <- channel(Ref:Int) in Tr:Term):LetChan </selBranch>
-           ...
-         </select>
+         <selBranch> (let Zr:Id = <- channel(Ref:Int) in Tr:Term):LetChan </selBranch>
          <sigma>
            <HB> HMapR:Map => mergeHB( HMapS, HMapR ) </HB>
            <S>  SSetR:Set => SSetS SSetR </S>