Remove warning message

imitator-model-checker · Oct 11, 2024 · bbcfaf3 · bbcfaf3
1 parent f8c5454
commit bbcfaf3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/AlgoAUgen.ml b/src/lib/AlgoAUgen.ml
@@ -779,7 +779,7 @@ class virtual algoAUgen (model : AbstractModel.abstract_model) (property : Abstr
 		start_time <- Unix.gettimeofday();
 
 (* !!! NOTE : de-BUG !!! *)
-		print_warning "There is an instability in AF, AU, AW, AR and EG algorithms (presumably due to PPL) for sufficiently complex models and constraints. The analysis might crash with segmentation fault but, if it does not, then there is most probably no problem.";
+(* 		print_warning "There is an instability in AF, AU, AW, AR and EG algorithms (presumably due to PPL) for sufficiently complex models and constraints. The analysis might crash with segmentation fault but, if it does not, then there is most probably no problem."; *)
 (* !!! NOTE : de-BUG !!! *)
 
 		(* Build initial state *)