diff options
Diffstat (limited to 'src/expl_print.sml')
-rw-r--r-- | src/expl_print.sml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/expl_print.sml b/src/expl_print.sml index 7044bfa2..313fef5c 100644 --- a/src/expl_print.sml +++ b/src/expl_print.sml @@ -351,7 +351,6 @@ fun p_exp' par env (e, loc) = string "---", space, p_con' true env c]) - | EFold _ => string "fold" | EWrite e => box [string "write(", p_exp env e, |