From 277b725b3081943a01a10ec6e5aa93d982f7c149 Mon Sep 17 00:00:00 2001
From: Kevin Quick <kquick@galois.com>
Date: Mon, 15 Mar 2021 17:21:43 -0700
Subject: [PATCH] Add Valid.getModule to the Wasm exports.

---
 src/Language/Wasm.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Language/Wasm.hs b/src/Language/Wasm.hs
index 33355db..97bf644 100644
--- a/src/Language/Wasm.hs
+++ b/src/Language/Wasm.hs
@@ -16,7 +16,8 @@ module Language.Wasm (
     Assertion(..),
     Ident(..),
     Meta(..),
-    runScript
+    runScript,
+    Valid.getModule
 ) where
 
 import qualified Data.ByteString as BS