Constraint fixes for Tutorial 1 again

ia-toki · Dec 8, 2016 · e051b73 · e051b73
1 parent 0b26615
commit e051b73
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/tutorials/tutorial_1.rst b/docs/tutorials/tutorial_1.rst
@@ -361,7 +361,7 @@ Here is the complete spec file for our Best Pair problem.
         }
 
         void Constraints() {
-            CONS(1 <= N && N <= 100000);
+            CONS(2 <= N && N <= 100000);
             CONS(eachElementBetween(A, -1000000, 1000000));
         }