Some minor changes

2024-10-20 20:27:23 +02:00
parent f5f8081ef4
commit de2e8bbd86
4 changed files with 5 additions and 1 deletions
--- a/lib/lang.ml
+++ b/lib/lang.ml
@ -1,3 +1,5 @@
 module Exercises = Exercises

 module MiniImp = MiniImp
+
+module MiniFun = MiniFun