summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezsat.h
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-05-06 13:48:25 +0200
committerClifford Wolf <clifford@clifford.at>2014-05-06 13:48:25 +0200
commit30774ec6bc732478cce1a5ceff5f666893c416a6 (patch)
tree2f4773aa1ec15abffd1ebffa1dd0ba0b3c8703a3 /libs/ezsat/ezsat.h
parenta5a519a9d15f188b93723c84890d6005d2e9c4be (diff)
Improved ezsat stand-alone tests
Diffstat (limited to 'libs/ezsat/ezsat.h')
-rw-r--r--libs/ezsat/ezsat.h2
1 files changed, 1 insertions, 1 deletions
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);
}
};