Comment out computation in Picard

coq-community · Mar 1, 2016 · 55dc222 · 55dc222
1 parent ed87007
commit 55dc222
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ode/Picard.v b/ode/Picard.v
@@ -444,6 +444,7 @@ rewrite abs.abs_nonneg; [reflexivity |].
 change (0 <= 1 # 2)%Q. auto with qarith.
 Qed.
 
+(*
 (* native_compute needs 8.5 *)
 Time Eval vm_compute in (answer 2 (` (picard_iter 2 half))). (* 10 minutes *)
 Time Compute answer 1 (` (f half)). (* Too long *)