one more

rems-project · Jun 20, 2024 · c6524d2 · c6524d2
1 parent 2e51aa9
commit c6524d2
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/memory/cheri-coq/impl_mem.ml b/memory/cheri-coq/impl_mem.ml
@@ -737,8 +737,7 @@ module CHERIMorello : Memory = struct
     Attrs (List.map fromCoq_attribute ats)
 
   let fromCoq_label_annot: CoqAnnot.label_annot -> Annot.label_annot = function
-  | LAloop_prebody lid  -> LAloop_prebody (Z.to_int lid)
-  | LAloop_body lid     -> LAloop_body (Z.to_int lid)
+  | LAloop lid          -> LAloop (Z.to_int lid)
   | LAloop_continue lid -> LAloop_continue (Z.to_int lid)
   | LAloop_break lid    -> LAloop_break (Z.to_int lid)
   | LAreturn            -> LAreturn