From e99a8dc48ede26696be2ba75a8cb0d5122d94598 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Fri, 11 Apr 2025 21:54:16 +0200 Subject: #include directive --- ccross.sig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ccross.sig') 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 -- cgit v1.2.3