Merge pull request #31 from TAPAAL/srba-patch-1

Update main.cpp
TAPAAL · Feb 9, 2024 · a42a319 · a42a319
2 parents 46c2e31 + d480358
commit a42a319
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/main.cpp b/src/main.cpp
@@ -135,6 +135,10 @@ int main(int argc, char* argv[])
 
 	tapn->Initialize(options.GetUntimedPlacesEnabled());
 
+	if (options.GetPrintBindings()) {
+            std::cout << output_stream.get()->str();
+        }
+
 	std::unique_ptr<AST::Query> query;
 	try{
         auto qfile = std::ifstream(options.QueryFile());
@@ -225,10 +229,6 @@ int main(int argc, char* argv[])
 		return 1;
 	}
 
-	if (options.GetPrintBindings()) {
-        std::cout << output_stream.get()->str();
-    }
-
 	return 0;
 }