From d56cc2ca71eee52a26f401ad2b37b8d9e6019a3c Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 26 Jan 2000 17:22:13 +0000
Subject: MAJ ocaml 2.99 (espaces dans la syntaxe des cast)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@284 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tactics/pattern.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tactics/pattern.ml')

diff --git a/tactics/pattern.ml b/tactics/pattern.ml
index 239b5e84f3..78fa139741 100644
--- a/tactics/pattern.ml
+++ b/tactics/pattern.ml
@@ -82,13 +82,13 @@ let dest_soapp_operator = function
       Some (n,list_uniquize [p])
   | _ -> None
 
-let constrain ((n:int),(m:constr)) sigma =
+let constrain ((n : int),(m : constr)) sigma =
   if List.mem_assoc n sigma then
     if eq_constr m (List.assoc n sigma) then sigma else error "somatch"
   else 
     (n,m)::sigma
     
-let build_dlam toabstract stk (m:constr) = 
+let build_dlam toabstract stk (m : constr) = 
   let rec buildrec m p_0 p_1 = match p_0,p_1 with 
     | (_, []) -> m
     | (n, (na::tl)) -> 
-- 
cgit v1.2.3