diff options
Diffstat (limited to 'backend/XTL.mli')
-rw-r--r-- | backend/XTL.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/backend/XTL.mli b/backend/XTL.mli index 6bdcc8c6..54988d4b 100644 --- a/backend/XTL.mli +++ b/backend/XTL.mli @@ -64,6 +64,7 @@ val vloc: loc -> var val vlocs: loc list -> var list val vmreg: mreg -> var val vmregs: mreg list -> var list +val vlocpairs: loc rpair list -> var list (* Tests over variables *) |