summaryrefslogtreecommitdiff
path: root/ccross.sml
diff options
context:
space:
mode:
Diffstat (limited to 'ccross.sml')
-rw-r--r--ccross.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/ccross.sml b/ccross.sml
index 1dab748..babe630 100644
--- a/ccross.sml
+++ b/ccross.sml
@@ -2,7 +2,7 @@ structure ccross:> CCROSS = struct
structure T:> TOKENIZER =
Tokenizer(structure H = Hashtable; structure S = Stream)
- structure ppc:> PPC = ppc(structure H = Hashtable; structure T = T)
+ structure ppc:> PPC = ppc(structure Tree = Tree; structure T = T)
structure D:> DRIVER = Driver(ppc)