fix compilation with the old type checker

This commit is contained in:
Krasimir Angelov committed 2025-11-14 14:32:30 +01:00
1 parent c7fe453c12
commit 06f3602e00
2 files changed
+3 -3

No files matched your search

+1 -1
View File
@@ -388,7 +388,7 @@ mkN2 = overload {
} ;
regV=\v -> lin V (MorphoSwa.regV v) ;
regV : Str -> V = \v -> lin V (MorphoSwa.regV v) ;
mkV = overload {
mkV : Str -> V = \v ->lin V(regV v) ;