diff --git a/src/main/java/wyc/Check.java b/src/main/java/wyc/Check.java
index <HASH>..<HASH> 100644
--- a/src/main/java/wyc/Check.java
+++ b/src/main/java/wyc/Check.java
@@ -68,6 +68,11 @@ public class Check {
 	 */
 	private List<Function<QuickCheck.Context,QuickCheck.Context>> configs = new ArrayList<>();
 
+	public Check setErrorHandler(MailBox<SyntaxError> mailbox) {
+		this.mailbox = mailbox;
+		return this;
+	}
+
 	public Check addConfig(Function<Context,Context> config) {
 		configs.add(config);
 		return this;
Update Check interface

This updates the main inteface for the Check command.  A method for
configuring alternative mailboxes is provided so that other tools can
configure them as necessary.

In this particular case, the change was needed in order to update
WhileyWeb to use the new compiler API.