summaryrefslogtreecommitdiffstats
path: root/parsing/parse.ml
diff options
context:
space:
mode:
authorPierre Weis <Pierre.Weis@inria.fr>2000-12-28 13:07:42 +0000
committerPierre Weis <Pierre.Weis@inria.fr>2000-12-28 13:07:42 +0000
commit2116da4220acde3fdf11ac0ef0100e0166729bcd (patch)
tree3d09bdc4675c58823863bfe12c05e6cdd490d6f0 /parsing/parse.ml
parent447c79eadec7db87abc782735c5b06ed4fd020e4 (diff)
Getting rid of obsolete boolean operators & and or
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing/parse.ml')
-rw-r--r--parsing/parse.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/parse.ml b/parsing/parse.ml
index eaa26e56a..56e32c4aa 100644
--- a/parsing/parse.ml
+++ b/parsing/parse.ml
@@ -32,7 +32,7 @@ let rec skip_phrase lexbuf =
let maybe_skip_phrase lexbuf =
if Parsing.is_current_lookahead Parser.SEMISEMI
- or Parsing.is_current_lookahead Parser.EOF
+ || Parsing.is_current_lookahead Parser.EOF
then ()
else skip_phrase lexbuf