diff options
author | Clark Barrett <clarkbarrett@google.com> | 2015-04-21 16:34:15 -0700 |
---|---|---|
committer | Clark Barrett <clarkbarrett@google.com> | 2015-04-21 16:34:15 -0700 |
commit | d95fe7675e20eaee86b8e804469e6db83265a005 (patch) | |
tree | 34616ecdc217d608b97d9432a368b20c75039542 /proofs | |
parent | 22601bce9648a8e784527e4e5d176f634d234797 (diff) |
Changes needed to compile at Google, plus some bug fixes from Google.
Diffstat (limited to 'proofs')
-rw-r--r-- | proofs/lfsc_checker/check.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/proofs/lfsc_checker/check.h b/proofs/lfsc_checker/check.h index a70599b0f..756bb4db6 100644 --- a/proofs/lfsc_checker/check.h +++ b/proofs/lfsc_checker/check.h @@ -80,7 +80,7 @@ inline char our_getc() { #endif colnum = 1; break; - case EOF: + case char(EOF): break; default: colnum++; @@ -95,7 +95,7 @@ inline char non_ws() { while(isspace(c = our_getc())); if (c == ';') { // comment to end of line - while((c = our_getc()) != '\n' && c != EOF); + while((c = our_getc()) != '\n' && c != char(EOF)); return non_ws(); } return c; @@ -115,7 +115,7 @@ extern char idbuf[]; inline const char *prefix_id() { int i = 0; char c = idbuf[i++] = non_ws(); - while (!isspace(c) && c != '(' && c != ')' && c != EOF) { + while (!isspace(c) && c != '(' && c != ')' && c != char(EOF)) { if (i == IDBUF_LEN) report_error("Identifier is too long"); |