A bunch of fixes to the solver, and moving it in to clang.

Also some contribution writing stuff.

Basically: lots of work.

1 files changed, 1 insertions, 2 deletions

diff --git a/impl/main.cpp b/impl/main.cpp
index 1fed389..be9cc82 100644
--- a/impl/main.cpp
+++ b/impl/main.cpp
@@ -159,8 +159,7 @@ int main (int argc, char* argv[]) {
     }
   } else {
     for (unsigned int i = 0, size = system.variableCount(); i < size; ++i) {
-      Variable<ZBar>& var = system.variable(i);
-      solver.solve(var);
+      solver.solve(system.variable(i));
     }
   }
   clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &finish);