fix typo

diff --git a/helm/software/matita/nlibrary/arithmetics/minimization.ma b/helm/software/matita/nlibrary/arithmetics/minimization.ma
index cb6eef689691578c607cf74569e3f36198cbe0fb..42767f66cc888dc8b89e2c10f33b535f672cd929 100644 (file)
--- a/helm/software/matita/nlibrary/arithmetics/minimization.ma
+++ b/helm/software/matita/nlibrary/arithmetics/minimization.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "arithmetics/natsa.ma".
+include "arithmetics/nat.ma".
       
 nlet rec max i f ≝
   match i with 
@@ -235,4 +235,4 @@ ntheorem le_min_aux_r : ∀f:nat → bool.
   ∀off,n:nat. min_aux off n f ≤ n+off.
 #f; #off; nelim off; //;
 #n; #Hind; #a; nelim (min_aux_S f n a); *; /2/;
-nqed.
\ No newline at end of file
+nqed.