@@ -511,6 +511,7 @@ ideslaveProcess fn (ChangeDirectory f) = do process fn (ChangeDirectory f)
511511ideslaveProcess fn (Eval t) = process fn (Eval t)
512512ideslaveProcess fn (NewDefn decls) = do process fn (NewDefn decls)
513513 iPrintResult "defined"
514+ideslaveProcess fn (Undefine n) = process fn (Undefine n)
514515ideslaveProcess fn (ExecVal t) = process fn (ExecVal t)
515516ideslaveProcess fn (Check (PRef x n)) = process fn (Check (PRef x n))
516517ideslaveProcess fn (Check t) = process fn (Check t)