start of new file

[IRC.git] / Robust / src / RepairTest / specs / Example2 / Example2.label

Example * e;