X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=action.h;h=46e8273e467ab3950bedd71adffbf46ce259860f;hp=abf55318cd3ba379ea198420fad4ce70bfc570ea;hb=f5305a99cba598d0de55358df103439831dd1eb2;hpb=b3b2aa79d695bcef7f7f862aca7d1dffa334b3b8

diff --git a/action.h b/action.h
index abf5531..46e8273 100644
--- a/action.h
+++ b/action.h
@@ -31,12 +31,6 @@ using std::memory_order_seq_cst;
  *  hence by iteself does not indicate no value. */
 #define VALUE_NONE 0xdeadbeef
 
-/** A special value to represent a successful trylock */
-#define VALUE_TRYSUCCESS 1
-
-/** A special value to represent a failed trylock */
-#define VALUE_TRYFAILED 0
-
 /** @brief Represents an action type, identifying one of several types of
  * ModelAction */
 typedef enum action_type {