Update Marabou.py

NeuralNetworkVerification · Aug 24, 2024 · 60c539e · 60c539e
1 parent cbfc73b
commit 60c539e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/maraboupy/Marabou.py b/maraboupy/Marabou.py
@@ -61,7 +61,9 @@ def load_query(filename):
     Returns:
         :class:`~maraboupy.MarabouCore.InputQuery`
     """
-    return MarabouCore.loadQuery(filename)
+    query = MarabouCore.InputQuery()
+    MarabouCore.loadQuery(filename, query)
+    return query
 
 def solve_query(ipq, filename="", verbose=True, options=None, propertyFilename=""):
     """Function to solve query represented by this network