diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-12-08 12:06:41 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-08 12:06:41 -0500 |
commit | 4a4982421afb15dcfea3561a5763adf5ba22409e (patch) | |
tree | ba7c0a2be727cf6bec091283f5202e3d4b3dedbf /lib/ur/top.ur | |
parent | 9285fc85a25fc1fbe9e8d5c37f63dffedb197fa6 (diff) |
Convert ctype is*() function results to booleans
Diffstat (limited to 'lib/ur/top.ur')
0 files changed, 0 insertions, 0 deletions