Fix for bug where 64-bit executables were processed as 32-bit executables....

courgette/adjustment_method_2.cc

Index: courgette/adjustment_method_2.cc
===================================================================
--- courgette/adjustment_method_2.cc	(revision 41586)
+++ courgette/adjustment_method_2.cc	(working copy)
@@ -18,6 +18,7 @@
 #include "base/format_macros.h"
 #include "base/logging.h"
 #include "base/string_util.h"
+#include "base/time.h"
 
 #include "courgette/assembly_program.h"
 #include "courgette/courgette.h"
@@ -1293,8 +1294,11 @@
   }
 
   void Solve(const Trace& model, size_t model_end) {
+    base::Time start_time = base::Time::Now();
     AssignmentProblem a(model, model_end);
     a.Solve();
+    LOG(INFO) << " Adjuster::Solve "
+              << (base::Time::Now() - start_time).InSecondsF();
   }
 
   void ReferenceLabel(Trace* trace, Label* label, bool is_model) {