Rebase onto main

cryspen · Feb 22, 2024 · 11a0551 · 11a0551
1 parent 4520999
commit 11a0551
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/engine/backends/coq/ssprove/ssprove_backend.ml b/engine/backends/coq/ssprove/ssprove_backend.ml
@@ -15,6 +15,7 @@ include
       include On.Mutable_variable
       include On.Loop
       include On.For_loop
+      include On.While_loop
       include On.For_index_loop
       include On.State_passing_loop
     end)
@@ -52,8 +53,10 @@ struct
         include Features.SUBTYPE.On.Construct_base
         include Features.SUBTYPE.On.Slice
         include Features.SUBTYPE.On.Macro
+
         include Features.SUBTYPE.On.Loop
         include Features.SUBTYPE.On.For_loop
+        include Features.SUBTYPE.On.While_loop
         include Features.SUBTYPE.On.For_index_loop
         include Features.SUBTYPE.On.State_passing_loop
       end)