summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>1997-04-17 17:03:08 +0000
committerDamien Doligez <damien.doligez-inria.fr>1997-04-17 17:03:08 +0000
commit550b45c5caa1ee361a23e3df6d4210fecbde918f (patch)
treedc54e719cf31a68f2b21aa12daee34c7ef0ff4e9
parent50f53591ba514aa3c377c64f6fb8911c47224c86 (diff)
Val_int -> Val_bool
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1509 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--byterun/lexing.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/byterun/lexing.c b/byterun/lexing.c
index c5155587e..df7fdfe98 100644
--- a/byterun/lexing.c
+++ b/byterun/lexing.c
@@ -74,7 +74,7 @@ value lex_engine(tbl, start_state, lexbuf) /* ML */
}
/* See if we need a refill */
if (lexbuf->lex_curr_pos >= lexbuf->lex_buffer_len){
- if (lexbuf->lex_eof_reached == Val_int (0)){
+ if (lexbuf->lex_eof_reached == Val_bool (0)){
return Val_int(-state - 1);
}else{
c = 256;
@@ -101,7 +101,7 @@ value lex_engine(tbl, start_state, lexbuf) /* ML */
/* Erase the EOF condition only if the EOF pseudo-character was
consumed by the automaton (i.e. there was no backtrack above)
*/
- if (c == 256) lexbuf->lex_eof_reached = Val_int (0);
+ if (c == 256) lexbuf->lex_eof_reached = Val_bool (0);
}
}
}