Another notfound -> not_found fix

This commit is contained in:
Gregory Burd 2012-04-16 07:31:14 -04:00
parent 5c5934549f
commit 8409df447d

View file

@ -198,7 +198,7 @@ postcondition(#state { open = Open},
lists:sort(dict_range_query(TDict, K1, K2))
== lists:sort(Result);
postcondition(_S,
{call, ?SERVER, get_fail, [_Name, _Key]}, notfound) ->
{call, ?SERVER, get_fail, [_Name, _Key]}, not_found) ->
true;
postcondition(#state { open = Open },
{call, ?SERVER, get_exist, [Name, Key]}, {ok, Value}) ->