Skip to content
Snippets Groups Projects
Commit 3c23a864 authored by Jad Hamza's avatar Jad Hamza Committed by Nicolas Voirol
Browse files

Use InoxSet instead of Set in Z3Target to avoid clash with Z3's Set

parent a1ffdd6c
No related branches found
No related tags found
1 merge request!98Parsing and extraction for lambdas in Z3's (4.8.4) model output
Hide whitespace changes
Inline Side-by-side
src/main/scala/inox/solvers/smtlib/Z3Target.scala
+ 1
− 1
View file @ 3c23a864
...@@ -91,7 +91,7 @@ trait Z3Target extends SMTLIBTarget with SMTLIBDebugger { ...@@ -91,7 +91,7 @@ trait Z3Target extends SMTLIBTarget with SMTLIBDebugger {
protected val extSym = SSymbol("_") protected val extSym = SSymbol("_")
protected lazy val setSort: SSymbol = { protected lazy val setSort: SSymbol = {
val s = SSymbol("Set") val s = SSymbol("InoxSet")
val t = SSymbol("T") val t = SSymbol("T")
val arraySort = Sort( val arraySort = Sort(
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment