1 files changed, 7 insertions, 1 deletions
diff --git a/Source/Core/AbsyQuant.cs b/Source/Core/AbsyQuant.cs
index 0f29c9a0..cae8bd92 100644
--- a/Source/Core/AbsyQuant.cs
+++ b/Source/Core/AbsyQuant.cs
@@ -533,6 +533,13 @@ namespace Microsoft.Boogie {
         return l.asBigNum.ToIntSafe;
       return defl;
     }
+
+    public override Absy Clone() {
+      List<object> newParams = new List<object>();
+      foreach (object o in Params)
+        newParams.Add(o);
+      return new QKeyValue(tok, Key, newParams, (Next == null) ? null : (QKeyValue)Next.Clone());
+    }
   }
 
   public class Trigger : Absy {
@@ -546,7 +553,6 @@ namespace Microsoft.Boogie {
       Contract.Invariant(Pos || Tr.Length == 1);
     }
 
-
     public Trigger Next;
 
     public Trigger(IToken tok, bool pos, ExprSeq tr)