Change to the spec...missed a consistency property. Adding timing option.

[repair.git] / Repair / RepairCompiler / MCC / specs / abiword / abi.space

diff --git a/Repair/RepairCompiler/MCC/specs/abiword/abi.space b/Repair/RepairCompiler/MCC/specs/abiword/abi.space
index 1a71eb18bd97127da7b8114f1be0e5f7fe293cfa..191451110a369359f34ea9a3e50b60a2200fbe7d 100755 (executable)
--- a/Repair/RepairCompiler/MCC/specs/abiword/abi.space
+++ b/Repair/RepairCompiler/MCC/specs/abiword/abi.space
@@ -6,4 +6,5 @@ set secondblock(pf_Frag_Strux_Block);
 Next: Frags -> Frags;
 Prev: Frags -> Frags;
 set LFrag(pf_Frag);
 Next: Frags -> Frags;
 Prev: Frags -> Frags;
 set LFrag(pf_Frag);

-PLast: Fragments -> LFrag;
\ No newline at end of file
+PLast: Fragments -> LFrag;
+Length: Frags -> int;
\ No newline at end of file