diff options
Diffstat (limited to 'src/counterexample.c')
-rw-r--r-- | src/counterexample.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/counterexample.c b/src/counterexample.c index 031681ea..5ff1e9fd 100644 --- a/src/counterexample.c +++ b/src/counterexample.c @@ -1036,7 +1036,7 @@ generate_next_states (search_state *ss, state_item *conflict1, } /* - * Perform the actual counter example search, + * Perform the actual counterexample search, * keeps track of what stage of the search algorithm * we are at and gives the appropriate counterexample * type based off of time constraints. |