diff options
| author | Simon MacMullen <simon@rabbitmq.com> | 2014-07-15 11:57:08 +0100 |
|---|---|---|
| committer | Simon MacMullen <simon@rabbitmq.com> | 2014-07-15 11:57:08 +0100 |
| commit | 0c668275573510c218da3ee6249d10c0ea66afba (patch) | |
| tree | b0f18f530d68defb6e58f71642104da5c8111c43 | |
| parent | 53053e020a3dd531974e69e15eac8fd3c2e4bab4 (diff) | |
| download | rabbitmq-server-0c668275573510c218da3ee6249d10c0ea66afba.tar.gz | |
Unused.
| -rw-r--r-- | src/gm_qc.erl | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/gm_qc.erl b/src/gm_qc.erl index 96ef5035..ded6c973 100644 --- a/src/gm_qc.erl +++ b/src/gm_qc.erl @@ -149,7 +149,7 @@ precondition(_S, {call, ?MODULE, do_proceed1, [_GM]}) -> precondition(_S, {call, ?MODULE, do_proceed2, [GM1, GM2]}) -> GM1 =/= GM2. -postcondition(S = #state{}, {call, _M, _F, _A}, _Res) -> +postcondition(_S, {call, _M, _F, _A}, _Res) -> true. next_state(S = #state{to_join = ToSet, @@ -312,8 +312,6 @@ add_monitor(From, To, Ref, S = #state{monitors = Mons}) -> From ! {mref, Ref, MRef}, S#state{monitors = dict:store(MRef, From, Mons)}. -timestamp() -> timer:now_diff(os:timestamp(), {0, 0, 0}). - %% ---------------------------------------------------------------------------- %% Assertions %% ---------------------------------------------------------------------------- |