Update parser

boogie-org · Nov 9, 2021 · fc5665f · fc5665f
1 parent 524772c
commit fc5665f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs
@@ -350,12 +350,12 @@ void Consts(out List<Declaration>/*!*/ ds) {
  }
  makeClone = true;
 
- foreach(var axiom in axioms) {
- ds.Add(axiom);
- }
  var constant = new Constant(y, x, u, ParentsClone, ChildrenComplete, kv, axioms);
  ds.Add(constant);
  }
+ foreach(var axiom in axioms) {
+ ds.Add(axiom);
+ }
 
  }