From f82f137fe74fe6200d172b4b2751b07eb6ff34bf Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Tue, 17 Apr 2012 12:35:29 -0700
Subject: various changes for using unsat cores in Houdini

---
 Source/Provers/SMTLib/TypeDeclCollector.cs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'Source/Provers/SMTLib/TypeDeclCollector.cs')

diff --git a/Source/Provers/SMTLib/TypeDeclCollector.cs b/Source/Provers/SMTLib/TypeDeclCollector.cs
index 05a6caf3..a4bdee51 100644
--- a/Source/Provers/SMTLib/TypeDeclCollector.cs
+++ b/Source/Provers/SMTLib/TypeDeclCollector.cs
@@ -164,6 +164,11 @@ void ObjectInvariant()
       return TypeToString(t);
     }
 
+    public void AddFunction(Function func) {
+      if (KnownFunctions.Contains(func))
+        return;
+      KnownFunctions.Add(func);
+    }
 
     public override bool Visit(VCExprNAry node, bool arg) {
       Contract.Requires(node != null);
-- 
cgit v1.2.3