Corrected twist of nsolutions and pedgelimit when calling collect_rea…

…dings (error report by CJ) git-svn-id: https://pet.opendfki.de/repos/pet/main@510 4200e16c-5112-0410-ac55-d7fb557a720a
delph-in · Nov 26, 2008 · 3917473 · 3917473
1 parent 34dfe04
commit 3917473
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/cheap/parse.cpp b/cheap/parse.cpp
@@ -626,7 +626,7 @@ parse_finish(fs_alloc_state &FSAS, list<tError> &errors, clock_t timeout) {
     }
 
     Chart->readings() = collect_readings(FSAS, errors, 
-                                         opt_nsolutions, pedgelimit,
+                                         pedgelimit, opt_nsolutions, 
                                          Chart->trees());
     stats.readings = Chart->readings().size();
 

diff --git a/common/configs-inner.h b/common/configs-inner.h
@@ -251,7 +251,7 @@ class Config {
       return result;
     }
     catch(std::bad_cast) {
-      std::cerr << key << std::endl;
+      // std::cerr << key << std::endl; assert(false);
       throw WrongTypeException(key);
     }
   }