From 30774ec6bc732478cce1a5ceff5f666893c416a6 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 6 May 2014 13:48:25 +0200 Subject: Improved ezsat stand-alone tests --- libs/ezsat/ezsat.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'libs/ezsat/ezsat.h') diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h index b0b731d0..85240556 100644 --- a/libs/ezsat/ezsat.h +++ b/libs/ezsat/ezsat.h @@ -168,7 +168,7 @@ public: int get(ezSAT *that) { if (name.empty()) return id; - return that->literal(name); + return that->frozen_literal(name); } }; -- cgit v1.2.3