From 2beeb44a02023c3fd235ca4ceae76af987381e3e Mon Sep 17 00:00:00 2001
From: Andrea Condoluci <andrea.condoluci@tweag.io>
Date: Thu, 13 Feb 2020 16:38:09 +0100
Subject: [PATCH] Update rts.gc.mjs

---
 asterius/rts/rts.gc.mjs | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/asterius/rts/rts.gc.mjs b/asterius/rts/rts.gc.mjs
index 26778f910c..38b69dab60 100644
--- a/asterius/rts/rts.gc.mjs
+++ b/asterius/rts/rts.gc.mjs
@@ -94,6 +94,14 @@ export class GC {
     Object.freeze(this);
   }
 
+  /**
+   * Stores the given closure in the remembered set.
+   * @param c The mutated closure
+   */
+  recordMutated(c) {
+    // TODO: stub
+  }
+
   /**
    * Checks whether the provided memory address resides
    * in a pinned MBlock. Used by {@link GC#evacuateClosure}