change fn to pred in pred-on-wrong-slots (but it's still xfailed
This commit is contained in:
parent
e66f9e46f6
commit
18a1cce2bc
1 changed files with 1 additions and 1 deletions
|
@ -8,7 +8,7 @@
|
||||||
fn f(int a, int b) : lt(a,b) {
|
fn f(int a, int b) : lt(a,b) {
|
||||||
}
|
}
|
||||||
|
|
||||||
fn lt(int a, int b) -> bool {
|
pred lt(int a, int b) -> bool {
|
||||||
ret a < b;
|
ret a < b;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue