outline and randomness. Afterfix now tackles if necessary

[fp1415-soccerfun.git] / src / StdReferee / NoReferee.dcl

diff --git a/src/StdReferee/NoReferee.dcl b/src/StdReferee/NoReferee.dcl
new file mode 100644 (file)
index 0000000..202c5dd
--- /dev/null
+++ b/src/StdReferee/NoReferee.dcl
@@ -0,0 +1,7 @@
+definition module NoReferee
+
+/** This module implements a null referee which doesn't do anything */
+
+import Referee
+
+NoReferee :: !FootballField -> Referee