diff --git a/jastadd-mquat-base/src/main/jastadd/Mquat.ast b/jastadd-mquat-base/src/main/jastadd/Mquat.ast
index 6dbb4ba335d2094af8e3f340c524a5fc7fa2f559..7e51520c2cf1897a10a08652d27e2d8c547e7b7c 100644
--- a/jastadd-mquat-base/src/main/jastadd/Mquat.ast
+++ b/jastadd-mquat-base/src/main/jastadd/Mquat.ast
@@ -1,4 +1,4 @@
-Root ::= HardwareModel SoftwareModel Request* Objective /ILP/ ;
+Root ::= HardwareModel SoftwareModel Request* Objective /ILP/ Solution:Solution* ;
 
 // =====================================================================================================================
 // Low-Level Grammar Rules
diff --git a/jastadd-mquat-base/src/main/jastadd/mquat.parser b/jastadd-mquat-base/src/main/jastadd/mquat.parser
index ba0955b37e9de64fb0ce8262b11075c5fa025ef0..15b4cf160c9f60bc3825a990b48fbe958669282a 100644
--- a/jastadd-mquat-base/src/main/jastadd/mquat.parser
+++ b/jastadd-mquat-base/src/main/jastadd/mquat.parser
@@ -84,7 +84,7 @@ Objective objective =
   ;
 
 Root goal =
-    hardware_model.h software_model.s request.r* objective.o  {: return new Root(h,s,r,o); :}
+    hardware_model.h software_model.s request.r* objective.o  {: return new Root(h,s,r,o, new List<>()); :}
   ;
 
 MetaParameter meta_parameter =