1 files changed, 5 insertions, 0 deletions
diff --git a/src/wasm.h b/src/wasm.h
index 08f039451..261fa91ce 100644
--- a/src/wasm.h
+++ b/src/wasm.h
@@ -1407,6 +1407,11 @@ public:
 
   Expression* parent;
 
+  // rtt.fresh_sub is like rtt.sub, but never caching or canonicalizing (i.e.,
+  // it always returns a fresh RTT, non-identical to any other RTT in the
+  // system).
+  bool fresh = false;
+
   void finalize();
 };