annotate tests/cst.urp @ 1346:faad7d01b200

Restore behavior of not complaining about undetermined unification variables when there are other errors
author Adam Chlipala <adam@chlipala.net>
date Thu, 16 Dec 2010 18:40:49 -0500
parents 70cbdcf5989b
children
rev   line source
adamc@704 1 debug
adamc@704 2 database dbname=cst
adamc@704 3 sql cst.sql
adamc@704 4
adamc@704 5 cst