diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-13 05:30:30 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-13 05:30:30 +0000 |
| commit | 8394cecaf2b1a261b44af54501ef1a433cdbadc2 (patch) | |
| tree | d4af6dec9e07b2406a84785eea73a1480c91580f /src/parser | |
| parent | 7730b9562b11d13236ce566f15ede0cb3416fe21 (diff) | |
Minor refactorings to PropEngine, SatSolver
Diffstat (limited to 'src/parser')
| -rw-r--r-- | src/parser/bounded_token_buffer.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/bounded_token_buffer.cpp b/src/parser/bounded_token_buffer.cpp index 8bd896cd4..53b56dcdd 100644 --- a/src/parser/bounded_token_buffer.cpp +++ b/src/parser/bounded_token_buffer.cpp @@ -10,7 +10,7 @@ ** See the file COPYING in the top-level source directory for licensing ** information. ** - ** An ANTLR3 bounded token stream implementation. + ** An ANTLR3 bounded token stream implementation. ** This code is largely based on the original token buffer implementation ** in libantlr3c, by Jim Idle. **/ |