summaryrefslogtreecommitdiff
path: root/ccross.sig
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-04-11 21:54:16 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-04-11 21:54:16 +0200
commite99a8dc48ede26696be2ba75a8cb0d5122d94598 (patch)
treec3dcd1d6a9b96aaedd081f13b9dc7e7d6c07e2bd /ccross.sig
parent8e2dc7712de206b87e1c46df9383c3fa1e18a43a (diff)
#include directive
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