From b867b79fcfd0cc476b22189fa428d4e00932afc9 Mon Sep 17 00:00:00 2001 From: Keith Winstein Date: Mon, 24 Aug 2026 23:39:27 -0700 Subject: [PATCH] coupon.wat: remove enclosing "(module ... )" This will probably make the prologue/epilogue easier to prepend/append. Isabelle-Cache: e4db9486b63d --- coupon.wat | 2 -- 1 file changed, 2 deletions(-) diff --git a/coupon.wat b/coupon.wat index eeaf888..da31792 100644 --- a/coupon.wat +++ b/coupon.wat @@ -1,4 +1,3 @@ -(module (import "fixpoint" "is_equal" (func $is_equal (param externref) (param externref) (result i32))) (import "fixpoint" "is_storage_coupon" (func $is_storage_coupon (param externref) (result i32))) (import "fixpoint" "is_force_coupon" (func $is_force_coupon (param externref) (result i32))) @@ -562,4 +561,3 @@ end ) (export "coupons" (table $coupons)) -)