diff options
Diffstat (limited to 'plugins/nsatz/nsatz.ml4')
| -rw-r--r-- | plugins/nsatz/nsatz.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/nsatz/nsatz.ml4 b/plugins/nsatz/nsatz.ml4 index 34be7244d..7b42fc5ba 100644 --- a/plugins/nsatz/nsatz.ml4 +++ b/plugins/nsatz/nsatz.ml4 @@ -427,7 +427,7 @@ let remove_list_tail l i = let remove_zeros zero lci = let n = List.length (List.hd lci) in let m=List.length lci in - let u = Array.create m false in + let u = Array.make m false in let rec utiles k = if k>=m then () |