From 84831716add27b53954142c3bbd72539b9168021 Mon Sep 17 00:00:00 2001
From: nsensfel <SpamShield0@noot-noot.org>
Date: Mon, 28 May 2018 15:50:05 +0200
Subject: Can now run IDP.

---
 99_idp_main.txt | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 99_idp_main.txt

(limited to '99_idp_main.txt')

diff --git a/99_idp_main.txt b/99_idp_main.txt
new file mode 100644
index 0000000..9dee3df
--- /dev/null
+++ b/99_idp_main.txt
@@ -0,0 +1,4 @@
+procedure main(){
+	printmodels(allmodels(T,S,Vout))
+}
+
-- 
cgit v1.2.3-70-g09d2