X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2Fspecs%2Fabiword%2Fabi.space;h=191451110a369359f34ea9a3e50b60a2200fbe7d;hp=1a71eb18bd97127da7b8114f1be0e5f7fe293cfa;hb=fcb08dbb9564da3732dd8b0cbf0088d0f9826541;hpb=7f291611f4c559aca2ef3a01f205287fca8f1e7a

diff --git a/Repair/RepairCompiler/MCC/specs/abiword/abi.space b/Repair/RepairCompiler/MCC/specs/abiword/abi.space
index 1a71eb1..1914511 100755
--- 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);
-PLast: Fragments -> LFrag;
\ No newline at end of file
+PLast: Fragments -> LFrag;
+Length: Frags -> int;
\ No newline at end of file