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 {