Need to allow for one spare encoding for the non-executed case with no suitable stores.

[satcheck.git] / functionrecord.h

diff --git a/functionrecord.h b/functionrecord.h
index a7ecce86e1463cd67df879a6c70a54a9d75d1a71..5db5132626e2a67d0bb1444e87d5dcdb90411636 100644 (file)
--- a/functionrecord.h
+++ b/functionrecord.h
@@ -12,16 +12,16 @@
 #include "classlist.h"
 
 class FunctionRecord {
- public:
+public:
        FunctionRecord(ConstGen *cg, EPRecord *func);
        ~FunctionRecord();
        Constraint * getValueEncoding(uint64_t val);
        Constraint * getNoValueEncoding();
 
        MEMALLOC;
- private:
+private:
        EPRecord *function;
-  Constraint **vars;
+       Constraint **vars;
        uint numvars;
 };
 #endif