From 8394cecaf2b1a261b44af54501ef1a433cdbadc2 Mon Sep 17 00:00:00 2001 From: "Christopher L. Conway" Date: Thu, 13 May 2010 05:30:30 +0000 Subject: Minor refactorings to PropEngine, SatSolver --- src/parser/bounded_token_buffer.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/parser/bounded_token_buffer.cpp') 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. **/ -- cgit v1.2.3