NON_EXISTANT -> nonExist

2025-08-28 19:35:49 +02:00
parent 625ddf1e1e
commit 5cb67dadbf
11 changed files with 72 additions and 74 deletions
@@ -43,7 +43,7 @@ lin
  AdnCAdv cadv = {
    s = case cadv.deg of {
      Posit => cadv.s ++ cadv.prep ;
-      _     => NON_EXISTENT
+      _     => nonExist
    }
  } ;