aboutsummaryrefslogtreecommitdiffstats
path: root/language
diff options
context:
space:
mode:
Diffstat (limited to 'language')
-rw-r--r--language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe23
1 files changed, 3 insertions, 0 deletions
diff --git a/language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 b/language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2
index ca3e2665..9b0bcd41 100644
--- a/language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2
+++ b/language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2
@@ -53,6 +53,9 @@ Workflow {
53 webSupport = ProblemWebIntegrationFragment { 53 webSupport = ProblemWebIntegrationFragment {
54 highlightingPath = "js/mode-problem.js" 54 highlightingPath = "js/mode-problem.js"
55 generateHtmlExample = false 55 generateHtmlExample = false
56 generateJettyLauncher = false
57 generateServlet = false
58 generateWebXml = false
56 } 59 }
57 } 60 }
58 } 61 }