From 4e54a42fbe03acc5a2c8f3cd22cbb0230ad68d8a Mon Sep 17 00:00:00 2001 From: Peter <43498358+Petersmit27@users.noreply.github.com> Date: Wed, 1 Nov 2023 09:25:58 +0100 Subject: [PATCH] init commit again --- IBAF-Editor/editor/Main.esv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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