diff options
author | 2008-10-16 13:39:34 +0200 | |
---|---|---|
committer | 2008-10-16 13:39:34 +0200 | |
commit | 3e6a1167fd397f2c72b48315e5d82f6c7e24703f (patch) | |
tree | 5778212e4dee21b53d8626e05e3fef0387ad3885 /checker/term.mli | |
parent | e9ca8bf54ae638fcab7fac39feec5ca047578d07 (diff) |
Define substvars more appropriately
Diffstat (limited to 'checker/term.mli')
0 files changed, 0 insertions, 0 deletions