monad update

git-svn-id: https://subversion.cs.illinois.edu/svn/cs225@4983 6fbd10e7-183d-0410-a318-cb416676e4f2

.monadid

 monad identification file
 This file is used for monad directory identification
 Built by toole1 on linux4.ews.illinois.edu
-Build Date: Mon Oct 10 23:58:14 CDT 2011
+Build Date: Tue Oct 11 03:11:28 CDT 2011

proxy.cpp

@@ -49,6 +49,12 @@ OUTPUT_CHECK(contains)
 }
 
 
+OUTPUT_CHECK(not_contains)
+{
+	return output.find(expected) == string::npos;
+}
+
+
 namespace proxy
 {
 	vector<unit_test> * global_tests = NULL;