diff test/TEST.ROOT @ 19251:063e8873bd14

changed type of assumptions field in CompilationResult from Assumptions to Assumption[]
author Doug Simon <doug.simon@oracle.com>
date Wed, 11 Feb 2015 11:38:22 +0100
parents 89152779163c
children 7848fc12602b
line wrap: on
line diff