CHB: remove non-negative length precondition

sipma · sipma · commit 7eca77700ef4 · 2026-04-09T17:41:55.000-07:00
diff --git a/CodeHawk/CHB/bchsummaries/so_functions/memcpy.xml b/CodeHawk/CHB/bchsummaries/so_functions/memcpy.xml
@@ -63,15 +63,6 @@
 	  </apply>
 	</math>
       </pre>
-      <pre>
-	<math>
-	  <apply>
-	    <geq/>
-	    <ci>count</ci>
-	    <cn>0</cn>
-	  </apply>
-	</math>
-      </pre>
     </preconditions>
     <postconditions>
      <post>
