From 68ebfc1049026e90e7e949ab96b6038a2e20fc19 Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Fri, 8 Dec 2017 13:34:46 +0100 Subject: [PATCH] lowercase all incoming varnames The CNF store is case-indifferent regarding variable names when reading from it, so just normalize all of them when internalizing variables. --- src/cnfvar.py | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/cnfvar.py b/src/cnfvar.py index 766e299..7ab5d93 100644 --- a/src/cnfvar.py +++ b/src/cnfvar.py @@ -367,7 +367,7 @@ def marshal_in_number (number): return int (number) def marshal_in_parent (parent): return int (parent) -def marshal_in_varname (varname): return from_latin1 (varname) +def marshal_in_varname (varname): return from_latin1 (varname).lower () def marshal_in_instance (instance): return int (instance) -- 1.7.1