validation: remove out of date sm_locking5.c
commit1415e80314b12029662cce2b05874cfb9f8316ac
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 10 Jan 2012 08:54:45 +0000 (10 11:54 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 10 Jan 2012 08:54:45 +0000 (10 11:54 +0300)
tree8547671714fd2beab2dfa049ae3b569a749e5128
parent187bb4c323120c3ce1eb05f541c4b93736ae0ed0
validation: remove out of date sm_locking5.c

We no longer consider these an error because there is no lock => unlock
transition on any paths.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
validation/sm_locking5.c [deleted file]