init commit again

2023-11-01 09:25:58 +01:00
parent 42da98a132
commit 4e54a42fbe
1 changed files with 1 additions and 1 deletions
--- 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