fix norris bugs

[cdsspec-compiler.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 1dfccfcb7b9cc268d7cfab5b3aada4df8205b4d7..10331c2ef59ccb00046ad62c3e40439543a1288d 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -53,7 +53,7 @@ struct fairness_info {
  */
 class Node {
 public:
-       Node(ModelAction *act = NULL, Node *par = NULL, int nthreads = 1, Node *prevfairness = NULL);
+       Node(ModelAction *act = NULL, Node *par = NULL, int nthreads = 2, Node *prevfairness = NULL);
        ~Node();
        /* return true = thread choice has already been explored */
        bool has_been_explored(thread_id_t tid);