From 267f459d5e79514e8cc3e671bbaf06ef5e6ddbd9 Mon Sep 17 00:00:00 2001
From: Jay Lee <jaeho.lee@snu.ac.kr>
Date: Mon, 2 Dec 2024 15:21:06 +0900
Subject: [PATCH] :bug: Handle Checkpoint effects from String_recorder

---
 bin/js/string_recorder.ml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bin/js/string_recorder.ml b/bin/js/string_recorder.ml
index 57337a5..1dc1c3e 100644
--- a/bin/js/string_recorder.ml
+++ b/bin/js/string_recorder.ml
@@ -60,5 +60,9 @@ let event_h =
                       (Sexp.to_string (Path.sexp_of_t path))
                 in
                 continue k path ~recording)
+        | Checkpoint _ ->
+            Some
+              (fun (k : (a, _) continuation) ~(recording : recording) ->
+                continue k () ~recording)
         | _ -> None);
   }