Merge remote-tracking branch 'upstream/master'
This commit is contained in:
commit
ebe055c307
@ -8,7 +8,7 @@
|
||||
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;
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user