summaryrefslogtreecommitdiff
path: root/tests/sqliteTime.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-12-20 09:34:10 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2010-12-20 09:34:10 -0500
commit5f3771069b5e4c7e99b1c1bbe98de2e8e7b96161 (patch)
tree1814a154f0b0e2d29b92c9d2ea2d1480f987acec /tests/sqliteTime.urs
parentd3789e023986953df75e8b6453b2a164bdc96e91 (diff)
Implement constrained type kinding properly; bump mono inline threshhold
Diffstat (limited to 'tests/sqliteTime.urs')
0 files changed, 0 insertions, 0 deletions