diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-19 12:39:22 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-19 12:39:22 -0400 |
| commit | 8e98be7de2dd3db541994aae47aeb45756f60098 (patch) | |
| tree | bbc63e96871ef6513d974d96311deab9afd4e7a3 /tests/modnested.lac | |
| parent | 371b414262cfb5888759c786e21c66f883ad13c0 (diff) | |
Corify removes modules
Diffstat (limited to 'tests/modnested.lac')
| -rw-r--r-- | tests/modnested.lac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/modnested.lac b/tests/modnested.lac index c8a21b1d..d9ff576d 100644 --- a/tests/modnested.lac +++ b/tests/modnested.lac @@ -30,3 +30,5 @@ end structure S1 = S structure S2 : S = S structure S3 = S2 + +val main = S3.Q.y |