diff options
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 -- |