Changeset 159

Timestamp:

09/25/07 19:29:17

Author:

apokayi

Message:

fixed a typo

Files:

• guts_main/src/lock.upc (modified) (2 diffs)

guts_main/src/lock.upc

@@ -2 +2 @@
- * The GWU Unified Testing Suite (GUTS) 
- * Latest modifications and integration to GUTS framework
-4/01
+9/25
- *  
- * Copyright (C) 2007 ... Abdullah Kayi
@@ -95 +95 @@
-                if(lock_attempt != 0)   
-                        GULA_FAIL("failed to block");
-1
+2
-        }
-