diff options
| -rw-r--r-- | src/query.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/query.h b/src/query.h index 52168539..f95988a7 100644 --- a/src/query.h +++ b/src/query.h @@ -153,8 +153,6 @@ public: case TERM: return string("TERM(") + *value + ")"; case END_REACHED: return "END_REACHED"; } - assert(false); - return empty_string; } string symbol() const { |