Skip to content

Commit 068ccd2

Browse files
1 parent 045c604 commit 068ccd2

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

refman/tactics/hoare-split.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -155,13 +155,13 @@ <h2><a class="toc-backref" href="#id2" role="doc-backlink">Example</a><a class="
155155
},
156156
{
157157
"goals":[
158-
"Type variables: <none>\n\nn: int\n------------------------------------------------------------------------\n0 <= n => hoare[ M.incr : arg = n ==> n < res /\\ 0 <= res ]]\n"
158+
"Type variables: <none>\n\nn: int\n------------------------------------------------------------------------\n0 <= n => hoare[ M.incr : arg = n ==> n < res /\\ 0 <= res ]\n"
159159
],
160160
"message":""
161161
},
162162
{
163163
"goals":[
164-
"Type variables: <none>\n\nn: int\n------------------------------------------------------------------------\n0 <= n => hoare[ M.incr : arg = n ==> n < res /\\ 0 <= res ]]\n"
164+
"Type variables: <none>\n\nn: int\n------------------------------------------------------------------------\n0 <= n => hoare[ M.incr : arg = n ==> n < res /\\ 0 <= res ]\n"
165165
],
166166
"message":""
167167
},

0 commit comments

Comments
 (0)