diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-19 18:27:19 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2025-11-19 18:27:19 +1300 |
| commit | d39eadddc587b3a380239fe76e5ad426638a8384 (patch) | |
| tree | 0acf360cb2b64b31fd4edb378c011e37f3af3622 /src/kompsos.adb | |
| parent | 39a112952e328ce52e5f7b08bf18bbadd3fca03f (diff) | |
Added generic to make it easier to abbreviate Fresh
Diffstat (limited to 'src/kompsos.adb')
| -rw-r--r-- | src/kompsos.adb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/kompsos.adb b/src/kompsos.adb index d973452..0ac59ee 100644 --- a/src/kompsos.adb +++ b/src/kompsos.adb @@ -471,6 +471,13 @@ package body Kompsos is end Fresh; + function Make_Fresh + return Term is + begin + return Verse.Fresh; + end Make_Fresh; + + -- Unification -- |