From 24afd12b7aced0f9ec77485b43b68c31bccac9c7 Mon Sep 17 00:00:00 2001 From: Didier Villevalois Date: Sun, 18 Dec 2016 15:49:59 +0100 Subject: [PATCH] Make Z3Solver.assertCnstr(dsl.Tree[dsl.BoolSort]) public --- src/main/scala/z3/scala/Z3Solver.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/scala/z3/scala/Z3Solver.scala b/src/main/scala/z3/scala/Z3Solver.scala index 270159a..2e90d19 100644 --- a/src/main/scala/z3/scala/Z3Solver.scala +++ b/src/main/scala/z3/scala/Z3Solver.scala @@ -100,7 +100,7 @@ class Z3Solver private[z3](val ptr: Long, val context: Z3Context) extends Z3Obje (checkAssumptions(assumptions : _*), if (isModelAvailable) getModel() else null, getUnsatCore()) } - private[z3] def assertCnstr(tree : dsl.Tree[dsl.BoolSort]) : Unit = { + def assertCnstr(tree : dsl.Tree[dsl.BoolSort]) : Unit = { assertCnstr(tree.ast(context)) }