diff options
Diffstat (limited to 'language')
-rw-r--r-- | language/src/main/java/org/eclipse/viatra/solver/language/GenerateProblem.mwe2 | 4 |
1 files changed, 2 insertions, 2 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 6f265bd5..18f70080 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 | |||
@@ -22,7 +22,7 @@ Workflow { | |||
22 | web = { | 22 | web = { |
23 | enabled = true | 23 | enabled = true |
24 | name = "language-web" | 24 | name = "language-web" |
25 | assets = "../language-web/src/main/js-gen" | 25 | assets = "../language-web/build/generated/sources/xtext" |
26 | } | 26 | } |
27 | mavenLayout = true | 27 | mavenLayout = true |
28 | } | 28 | } |
@@ -49,7 +49,7 @@ Workflow { | |||
49 | junitVersion = "5" | 49 | junitVersion = "5" |
50 | } | 50 | } |
51 | webSupport = ProblemWebIntegrationFragment { | 51 | webSupport = ProblemWebIntegrationFragment { |
52 | highlightingPath = "mode-problem.js" | 52 | highlightingPath = "js/mode-problem.js" |
53 | generateHtmlExample = false | 53 | generateHtmlExample = false |
54 | } | 54 | } |
55 | } | 55 | } |