summaryrefslogtreecommitdiff
path: root/ccross.sig
diff options
context:
space:
mode:
Diffstat (limited to 'ccross.sig')
-rw-r--r--ccross.sig2
1 files changed, 1 insertions, 1 deletions
diff --git a/ccross.sig b/ccross.sig
index 3bfaf9e..023d15f 100644
--- a/ccross.sig
+++ b/ccross.sig
@@ -1,4 +1,4 @@
signature CCROSS = sig
- structure P: CPP
+ structure D: DRIVER
structure ExnHandler: EXN_HANDLER
end