From 02bc006671f3e7317213c7e3ead04a2bb58918b3 Mon Sep 17 00:00:00 2001 From: Robin Steiger <robin.steiger@epfl.ch> Date: Mon, 12 Jul 2010 19:46:53 +0000 Subject: [PATCH] Fixed small compilation problem. --- src/purescala/Z3Solver.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/purescala/Z3Solver.scala b/src/purescala/Z3Solver.scala index 440d18efd..9c0292deb 100644 --- a/src/purescala/Z3Solver.scala +++ b/src/purescala/Z3Solver.scala @@ -234,7 +234,7 @@ class Z3Solver(reporter: Reporter) extends Solver(reporter) { } private var abstractedFormula = false - override def isSat(vc: Expr) = decide(vc, false) + override def isUnsat(vc: Expr) = decide(vc, false) def solve(vc: Expr) = decide(vc, true) def decide(vc: Expr, forValidity: Boolean) : Option[Boolean] = { abstractedFormula = false -- GitLab