aboutsummaryrefslogtreecommitdiff
path: root/src/kompsos-advanced_reify.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/kompsos-advanced_reify.ads')
-rw-r--r--src/kompsos-advanced_reify.ads10
1 files changed, 0 insertions, 10 deletions
diff --git a/src/kompsos-advanced_reify.ads b/src/kompsos-advanced_reify.ads
index ecda1c9..db51558 100644
--- a/src/kompsos-advanced_reify.ads
+++ b/src/kompsos-advanced_reify.ads
@@ -53,16 +53,6 @@ package Kompsos.Advanced_Reify is
(Subst : in State)
return Element_Trees.Tree;
- function Treeify_First
- (Subst : in State;
- Name : in String)
- return Element_Trees.Tree;
-
- function Treeify_First
- (Subst : in State;
- Name : in Nametag)
- return Element_Trees.Tree;
-
end Kompsos.Advanced_Reify;