From 11a0551c9f750edc24c7d14b6cfdfe0879cd4355 Mon Sep 17 00:00:00 2001
From: Lasse Letager Hansen <lasse@letager.dk>
Date: Thu, 22 Feb 2024 16:12:53 +0100
Subject: [PATCH] Rebase onto main

---
 engine/backends/coq/ssprove/ssprove_backend.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/engine/backends/coq/ssprove/ssprove_backend.ml b/engine/backends/coq/ssprove/ssprove_backend.ml
index 96def3200..9d5e76dda 100644
--- 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)