Do the necessary imports in VerbTur
This commit is contained in:
1 parent
27da43c37d
commit
af62b770b0
1 file changed
+1
-1
@@ -1,4 +1,4 @@
|
||||
concrete VerbTur of Verb = {
|
||||
concrete VerbTur of Verb = CatTur ** open ResTur in {
|
||||
|
||||
lin
|
||||
UseV v = v ;
|
||||
|
||||
Reference in new issue
Block a user