Commit dee579126faa0f688b4fd608b4d8cf8124bf8025

Bruno Haible 2005-09-28T12:00:59

Test verify_true instead of verify_expr.