diff options
| author |  Akash Lal <akashl@microsoft.com> | 2015-05-13 14:33:48 +0530 |
|---|---|---|
| committer | Akash Lal <akashl@microsoft.com> | 2015-05-13 14:33:48 +0530 |
| commit | d4d66e2ad626eb1539e2b3e3aa0e88ad6b7746aa (patch) | |
| tree | 4fa33ce1e0fc6fdea1c29442343d1094b89b9580 /Source/Provers/SMTLib | |
| parent | 86b45ab19c90f6759f5685b1616961e1400fa4ba (diff) | |
Fix for printFixedPoint when dealing with functions
Diffstat (limited to 'Source/Provers/SMTLib')
| -rw-r--r-- | Source/Provers/SMTLib/TypeDeclCollector.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Provers/SMTLib/TypeDeclCollector.cs b/Source/Provers/SMTLib/TypeDeclCollector.cs index 30363102..9205d54c 100644 --- a/Source/Provers/SMTLib/TypeDeclCollector.cs +++ b/Source/Provers/SMTLib/TypeDeclCollector.cs @@ -231,6 +231,7 @@ void ObjectInvariant() else
decl = "(declare-fun " + printedName + " (" + argTypes + ") " + TypeToStringReg(f.OutParams[0].TypedIdent.Type) + ")";
AddDeclaration(decl);
+ if (declHandler != null) declHandler.FuncDecl(f);
}
KnownFunctions.Add(f);
} else {
|