1 files changed, 1 insertions, 99 deletions

diff --git a/subprojects/frontend/src/index.tsx b/subprojects/frontend/src/index.tsx
index 60debd6b..3fd25e5c 100644
--- a/subprojects/frontend/src/index.tsx
+++ b/subprojects/frontend/src/index.tsx
@@ -15,104 +15,6 @@ import RootStore from './RootStore';
 // https://github.com/mui/material-ui/issues/32727#issuecomment-1659945548
 (window as unknown as { fixViteIssue: unknown }).fixViteIssue = styled;
 
-const initialValue = `% Metamodel
-
-abstract class CompositeElement {
-    contains Region[] regions
-}
-
-class Region {
-    contains Vertex[] vertices opposite region
-}
-
-abstract class Vertex {
-    container Region region opposite vertices
-    contains Transition[] outgoingTransition opposite source
-    Transition[] incomingTransition opposite target
-}
-
-class Transition {
-    container Vertex source opposite outgoingTransition
-    Vertex[1] target opposite incomingTransition
-}
-
-abstract class Pseudostate extends Vertex.
-
-abstract class RegularState extends Vertex.
-
-class Entry extends Pseudostate.
-
-class Exit extends Pseudostate.
-
-class Choice extends Pseudostate.
-
-class FinalState extends RegularState.
-
-class State extends RegularState, CompositeElement.
-
-class Statechart extends CompositeElement.
-
-% Constraints
-
-%% Entry
-
-pred entryInRegion(Region r, Entry e) <->
-    vertices(r, e).
-
-error noEntryInRegion(Region r) <->
-    !entryInRegion(r, _).
-
-error multipleEntryInRegion(Region r) <->
-    entryInRegion(r, e1),
-    entryInRegion(r, e2),
-    e1 != e2.
-
-error incomingToEntry(Transition t, Entry e) <->
-    target(t, e).
-
-error noOutgoingTransitionFromEntry(Entry e) <->
-    !source(_, e).
-
-error multipleTransitionFromEntry(Entry e, Transition t1, Transition t2) <->
-    outgoingTransition(e, t1),
-    outgoingTransition(e, t2),
-    t1 != t2.
-
-%% Exit
-
-error outgoingFromExit(Transition t, Exit e) <->
-    source(t, e).
-
-%% Final
-
-error outgoingFromFinal(Transition t, FinalState e) <->
-    source(t, e).
-
-%% State vs Region
-
-pred stateInRegion(Region r, State s) <->
-    vertices(r, s).
-
-error noStateInRegion(Region r) <->
-    !stateInRegion(r, _).
-
-%% Choice
-
-error choiceHasNoOutgoing(Choice c) <->
-    !source(_, c).
-
-error choiceHasNoIncoming(Choice c) <->
-    !target(_, c).
-
-% Instance model
-
-Statechart(sct).
-
-% Scope
-
-scope node = 20..30, Region = 2..*, Choice = 1..*, Statechart += 0.
-`;
-
 configure({
   enforceActions: 'always',
 });
@@ -121,7 +23,7 @@ let HotRootStore = RootStore;
 let HotApp = App;
 
 function createStore(): RootStore {
-  return new HotRootStore(initialValue);
+  return new HotRootStore();
 }
 
 let rootStore = createStore();