summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/typecheck.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/typecheck.rs b/src/typecheck.rs
index 8abc64c..39caa7e 100644
--- a/src/typecheck.rs
+++ b/src/typecheck.rs
@@ -506,7 +506,7 @@ type_with ctx (Note s e' ) = case type_with ctx e' of
Left (TypeError ctx2 e'' m) -> Left (TypeError ctx2 (Note s e'') m)
Right r -> Right r
*/
- &Embed(ref p) => match p {},
+ &Embed(p) => match p {},
_ => panic!("Unimplemented typecheck case: {:?}", e),
}
}