Verified Commit eea9cc36 authored by Amin Bandali's avatar Amin Bandali
Browse files

SSRVisitor: use LinkedHashMap to keep insertion order of candidates

parent e48b11aa
package org.aminb.alloy.catalyst;
import java.util.Arrays;
import java.util.HashMap;
import java.util.HashSet;
import java.util.LinkedHashMap;
import java.util.Map;
import java.util.Set;
......@@ -37,7 +37,7 @@ public class SSRVisitor extends VisitReturn<Object> {
new HashSet<>(Arrays.asList(Sig.UNIV, Sig.SIGINT, Sig.SEQIDX,
Map<PrimSig, Boolean> candidates = new HashMap<>();
Map<PrimSig, Boolean> candidates = new LinkedHashMap<>();
PrimSig getFirstPrimSig(Expr e) {
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment