move NumeralX.inc to ParamX since it is used in many places

This commit is contained in:
Krasimir Angelov
2026-03-03 14:34:52 +01:00
parent 8e780d6263
commit 761597ad8c
25 changed files with 13 additions and 115 deletions
+1 -1
View File
@@ -1,4 +1,4 @@
concrete CatLat of Cat = CommonX-[Adv] ** open ResLat, ParamX, Prelude in {
concrete CatLat of Cat = CommonX-[Adv] ** open ResLat, Prelude in {
flags optimize=all_subs ;