diff --git a/IBAF-Editor/editor/Main.esv b/IBAF-Editor/editor/Main.esv index 657306d..0cc8a14 100644 --- a/IBAF-Editor/editor/Main.esv +++ b/IBAF-Editor/editor/Main.esv @@ -8,7 +8,7 @@ imports language - extensions : iba + extensions : ibaf // Add this provider when switching Stratego to interpreted mode: // provider : target/metaborg/stratego.ctree