Merge branch 'master' of https://github.com/dopefishh/tt2015

[tt2015.git] / a3 / code / Gast / gast.dcl

diff --git a/a3/code/Gast/gast.dcl b/a3/code/Gast/gast.dcl
deleted file mode 100644 (file)
index 0fa98b0..0000000
--- a/a3/code/Gast/gast.dcl
+++ /dev/null
@@ -1,12 +0,0 @@
-definition module gast\r
-\r
-/*\r
-       GAST: A Generic Automatic Software Test-system\r
-\r
-       Pieter Koopman, 2004-2010\r
-       Radboud Universty, Nijmegen\r
-       The Netherlands\r
-       pieter@cs.ru.nl\r
-*/\r
-\r
-import MersenneTwister, gen, GenEq, genLibTest, testable, confSM, stdProperty
\ No newline at end of file