diff options
Diffstat (limited to 'plugins/nsatz/ideal.ml')
-rw-r--r-- | plugins/nsatz/ideal.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/nsatz/ideal.ml b/plugins/nsatz/ideal.ml index d5efb5cef..e0b27a2f5 100644 --- a/plugins/nsatz/ideal.ml +++ b/plugins/nsatz/ideal.ml @@ -764,7 +764,7 @@ let slice i a q = (* sugar strategy *) -let rec addS x l = l @ [x] (* oblige de mettre en queue sinon le certificat deconne *) +let addS x l = l @ [x] (* oblige de mettre en queue sinon le certificat deconne *) let addSsugar x l = if !sugar_flag |