- library/list/list.ma: unused code commented

[helm.git] / helm / software / components / acic_procedural / acic2Procedural.ml

diff --git a/helm/software/components/acic_procedural/acic2Procedural.ml b/helm/software/components/acic_procedural/acic2Procedural.ml
index 9152d7a436234d68eb7bb29776ed7e5b21268af0..2fec2dd1f9b2bb996c5a2e26a3bdd7552fbeed29 100644 (file)
--- a/helm/software/components/acic_procedural/acic2Procedural.ml
+++ b/helm/software/components/acic_procedural/acic2Procedural.ml
@@ -137,5 +137,5 @@ let procedural_of_acic_term ~ids_to_inner_sorts ~ids_to_inner_types params
 
 let rec is_debug n = function
    | []                   -> false
-   | G.IPDebug debug :: _ -> debug <= n
+   | G.IPDebug debug :: _ -> n <= debug
    | _ :: tl              -> is_debug n tl