diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-22 19:44:01 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-22 19:44:01 -0400 |
| commit | 5d0d8cc5212faf5e2433fa2e9b6f05aa195e45ac (patch) | |
| tree | 6ee59e00d1c6c453de2311e1f194d2aadf2cf83d /tests/sigdupe.lac | |
| parent | 911980c1969a852451085577ebcc002f264c7ffa (diff) | |
Signature duplicate entry checking
Diffstat (limited to 'tests/sigdupe.lac')
| -rw-r--r-- | tests/sigdupe.lac | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/sigdupe.lac b/tests/sigdupe.lac new file mode 100644 index 00000000..50bed798 --- /dev/null +++ b/tests/sigdupe.lac @@ -0,0 +1,4 @@ +signature S = sig + type t + type t +end |