From de2a0107a5a7a08a5470e54ed2ed792eebfe87ba Mon Sep 17 00:00:00 2001
From: nsensfel <SpamShield0@noot-noot.org>
Date: Mon, 28 May 2018 13:28:23 +0200
Subject: Just did a quick test with IDP. It worked.

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

(limited to '99_general.txt')

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