1 files changed, 5 insertions, 1 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 da5e95a4..6f265bd5 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,6 +22,7 @@ Workflow {
                                 web = {
                                         enabled = true
                                         name = "language-web"
+                                        assets = "../language-web/src/main/js-gen"
                                 }
                                 mavenLayout = true
                         }
@@ -47,7 +48,10 @@ Workflow {
                         junitSupport = {
                                 junitVersion = "5"
                         }
-                        webSupport = ProblemWebIntegrationFragment {}
+                        webSupport = ProblemWebIntegrationFragment {
+                                highlightingPath = "mode-problem.js"
+                                generateHtmlExample = false
+                        }
                 }
         }
 }