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

diff --git a/Repair/RepairCompiler/MCC/specs/abiword/abi.constraints b/Repair/RepairCompiler/MCC/specs/abiword/abi.constraints
index 5ea646d..ea14482 100755
--- a/Repair/RepairCompiler/MCC/specs/abiword/abi.constraints
+++ b/Repair/RepairCompiler/MCC/specs/abiword/abi.constraints
@@ -5,3 +5,4 @@
 [forall f in Frags], (sizeof(f.~Next)<=1);
 [forall f in firstblock], sizeof(f.~Next)=0;
 [forall l in Last, forall f in Fragments], f.PLast=l and sizeof(f.PLast)=1;
+[forall f in Frags], f.Length>=1;
\ No newline at end of file