diff options
| author | Greg Brown <gmb60@cam.ac.uk> | 2020-11-25 15:45:32 +0000 |
|---|---|---|
| committer | Greg Brown <gmb60@cam.ac.uk> | 2020-11-25 15:45:32 +0000 |
| commit | e2cd078cb16834256439ac775cb8cf1e17679181 (patch) | |
| tree | 22b4f54ccfdb19d5d9a919a7adc6984fb30cc955 /src/main.rs | |
| parent | d3da0a832f3fda143d3722b59ff42b6ccb3ac953 (diff) | |
Add substitution.
Diffstat (limited to 'src/main.rs')
| -rw-r--r-- | src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.rs b/src/main.rs index 0d4ab99..c180302 100644 --- a/src/main.rs +++ b/src/main.rs @@ -21,7 +21,7 @@ fn main() { .and_then(|_| syn::parse_str(&input).map_err(|e| Box::new(e) as Box<dyn Error>)) .and_then(|nibble: Expression| { nibble - .convert(&Context::new()) + .convert(&mut Context::new()) .well_typed(&mut FlastContext::new()) .map_err(|e| Box::new(e) as Box<dyn Error>) }) |