From a40d91fc79d2958620a4659bfe62e49c545b972e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hu=E1=BB=B3nh=20Tr=E1=BA=A7n=20Khanh?=
 <qcdz9r6wpcbh59@gmail.com>
Date: Thu, 12 Dec 2024 11:36:47 +0700
Subject: [PATCH] Create SimpleProgram.module.json

---
 programs/SimpleProgram.module.json | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 programs/SimpleProgram.module.json

diff --git a/programs/SimpleProgram.module.json b/programs/SimpleProgram.module.json
new file mode 100644
index 0000000..eb70fae
--- /dev/null
+++ b/programs/SimpleProgram.module.json
@@ -0,0 +1,6 @@
+{
+  "type": "competitive",
+  "inputs": ["SimpleProgram.js", "IO/PrintInt64.js"],
+  "cppOutput": "../generated-cpp/SimpleProgram.sol",
+  "coqOutput": "../generated-coq/SimpleProgram.v"
+}