diff options
Diffstat (limited to 'ccross.sig')
-rw-r--r-- | ccross.sig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ccross.sig b/ccross.sig new file mode 100644 index 0000000..3bfaf9e --- /dev/null +++ b/ccross.sig @@ -0,0 +1,4 @@ +signature CCROSS = sig + structure P: CPP + structure ExnHandler: EXN_HANDLER +end |