From 61ccbc81a2f3b4662ed4a2bad9d07d2003dda3a2 Mon Sep 17 00:00:00 2001
From: glondu
Date: Thu, 17 Sep 2009 15:58:14 +0000
Subject: Delete trailing whitespaces in all *.{v,ml*} files

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12337 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 plugins/syntax/nat_syntax.ml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'plugins/syntax/nat_syntax.ml')

diff --git a/plugins/syntax/nat_syntax.ml b/plugins/syntax/nat_syntax.ml
index c62c813778..5d20c2a3c8 100644
--- a/plugins/syntax/nat_syntax.ml
+++ b/plugins/syntax/nat_syntax.ml
@@ -33,7 +33,7 @@ open Names
 let nat_of_int dloc n =
   if is_pos_or_zero n then begin
       if less_than (of_string "5000") n then
-	Flags.if_warn msg_warning 
+	Flags.if_warn msg_warning
 	  (strbrk "Stack overflow or segmentation fault happens when " ++
 	   strbrk "working with large numbers in nat (observed threshold " ++
 	   strbrk "may vary from 5000 to 70000 depending on your system " ++
@@ -41,11 +41,11 @@ let nat_of_int dloc n =
       let ref_O = RRef (dloc, glob_O) in
       let ref_S = RRef (dloc, glob_S) in
       let rec mk_nat acc n =
-	if n <> zero then 
+	if n <> zero then
 	  mk_nat (RApp (dloc,ref_S, [acc])) (sub_1 n)
-	else 
+	else
 	  acc
-      in 
+      in
       mk_nat ref_O n
     end
   else
@@ -61,9 +61,9 @@ let rec int_of_nat = function
   | RApp (_,RRef (_,s),[a]) when s = glob_S -> add_1 (int_of_nat a)
   | RRef (_,z) when z = glob_O -> zero
   | _ -> raise Non_closed_number
-	  
+
 let uninterp_nat p =
-  try 
+  try
     Some (int_of_nat p)
   with
     Non_closed_number -> None
-- 
cgit v1.2.3