From 98f3621b5b0c50aaa48c86e1d6a4269d94388bd3 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 13 Nov 2012 22:38:16 +0000
Subject: More monomorphizations

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15969 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/util.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/util.ml')

diff --git a/lib/util.ml b/lib/util.ml
index fcbd969ab5..8d8c947c74 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -29,7 +29,7 @@ let pi3 (_,_,a) = a
 let is_letter c = (c >= 'a' && c <= 'z') or (c >= 'A' && c <= 'Z')
 let is_digit c = (c >= '0' && c <= '9')
 let is_ident_tail c =
-  is_letter c or is_digit c or c = '\'' or c = '_'
+  is_letter c or is_digit c || c = '\'' or c = '_'
 let is_blank = function
   | ' ' | '\r' | '\t' | '\n' -> true
   | _ -> false
-- 
cgit v1.2.3