Update verific.rst
authorClifford Wolf <clifford@clifford.at>
Tue, 6 Mar 2018 14:41:57 +0000 (15:41 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 6 Mar 2018 14:41:57 +0000 (15:41 +0100)
commitfd0fd88e22bbc789b2e3901664f2f9be736eebb3
tree69020cac1746c411f559dc02536da030300867d2
parentf151ea733a93bada9f9d3012c7d43a6dc45fc704
Update verific.rst

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