diff options
Diffstat (limited to 'language-web/src/main/java/tools/refinery/language/web/ProblemWebSocketServlet.java')
| -rw-r--r-- | language-web/src/main/java/tools/refinery/language/web/ProblemWebSocketServlet.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language-web/src/main/java/tools/refinery/language/web/ProblemWebSocketServlet.java b/language-web/src/main/java/tools/refinery/language/web/ProblemWebSocketServlet.java index 9ffd6557..df67b521 100644 --- a/language-web/src/main/java/tools/refinery/language/web/ProblemWebSocketServlet.java +++ b/language-web/src/main/java/tools/refinery/language/web/ProblemWebSocketServlet.java | |||
| @@ -3,7 +3,7 @@ package tools.refinery.language.web; | |||
| 3 | import org.eclipse.xtext.util.DisposableRegistry; | 3 | import org.eclipse.xtext.util.DisposableRegistry; |
| 4 | 4 | ||
| 5 | import jakarta.servlet.ServletException; | 5 | import jakarta.servlet.ServletException; |
| 6 | import tools.refinery.language.web.xtext.XtextWebSocketServlet; | 6 | import tools.refinery.language.web.xtext.servlet.XtextWebSocketServlet; |
| 7 | 7 | ||
| 8 | public class ProblemWebSocketServlet extends XtextWebSocketServlet { | 8 | public class ProblemWebSocketServlet extends XtextWebSocketServlet { |
| 9 | 9 | ||