diff options
| author | David Aspinall | 2007-12-14 00:59:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-14 00:59:31 +0000 |
| commit | 0af55a781ea033085a3149cafc7942dd6a2f2290 (patch) | |
| tree | 304d8e9498a83d6daf9de98077481ba43e22aa2f /lego/example.l | |
| parent | c5384ee0ce6232fa89c07864e60be70dee2ad7ed (diff) | |
coq-goal-command-str-p: Fix suspected typo shown up by compile warning.
Diffstat (limited to 'lego/example.l')
0 files changed, 0 insertions, 0 deletions