From d4803583814c9f750b2baa1b1f3ac919a2cf207c Mon Sep 17 00:00:00 2001
From: srba <srba@users.noreply.github.com>
Date: Thu, 8 Feb 2024 16:52:05 +0100
Subject: [PATCH] Update main.cpp

---
 src/main.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/main.cpp b/src/main.cpp
index 5a7261b..befbe3c 100644
--- 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;
 }