Update verific.rst
authorClifford Wolf <clifford@clifford.at>
Tue, 6 Mar 2018 22:46:52 +0000 (23:46 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 6 Mar 2018 22:46:52 +0000 (23:46 +0100)
commit055b305c81ffafeb97818e9b2b0c94444896b3de
tree7feb705c074ccf21f3bf0c1beee80095c3a42ce0
parentcfff7095e40295773f3a59fc674375f343b693f6
Update verific.rst

Signed-off-by: Clifford Wolf <clifford@clifford.at>
docs/source/verific.rst