X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fproblems.ml;h=e91c5802b06ee594940fd5d3ef824d05e5602a33;hb=a083188139e0ae7c4db8e6f0d7b7c913006fa148;hp=a0ff4536266a0739e760845589d1a8e643c57a36;hpb=b609e8cfc37360748de4fcbc4e80bba556fadc87;p=fireball-separation.git

diff --git a/ocaml/problems.ml b/ocaml/problems.ml
index a0ff453..e91c580 100644
--- a/ocaml/problems.ml
+++ b/ocaml/problems.ml
@@ -289,7 +289,8 @@ main ([
  (* p2 ; p4 ; p5 ; p6 ; p7 ; p8 ; p9 ; p10 ; p11 ; p12 ; p13 ; p14 ; p15 ; p16 ; p17 ; p18 ; p19 ; p20 ; p21 ; p22 ; p23 ; p24 ; p25 ; p26 ; p27 ; p28 ; p29 ; p30 ; p31 ; p32 ; p33 ; p34 ; p35 ; p36 ; p37 ; *)
  p24 ; p25 ;
 ] @ List.map ((|>) ()) [
- q1 ; q2; q3; q4 ; q5 ; q6 ;
+ q1 ; q2; q3; q4 ; q5 ;
+ q6 ;
  (* q7 ; *)
  q8 ;
  q9 ;