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