From 2d6158b9d8338dbc28a4b45822ac4c8a9126fb0e Mon Sep 17 00:00:00 2001
From: Maxim Manuylov <maxim.manuylov@gmail.com>
Date: Sun, 29 Jul 2012 23:57:51 +0400
Subject: [PATCH] annotations

---
 compiler/cli/src/org/jetbrains/jet/cli/common/CLICompiler.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/cli/src/org/jetbrains/jet/cli/common/CLICompiler.java b/compiler/cli/src/org/jetbrains/jet/cli/common/CLICompiler.java
index 0f1e147eb31..b48ff5cef9d 100644
--- a/compiler/cli/src/org/jetbrains/jet/cli/common/CLICompiler.java
+++ b/compiler/cli/src/org/jetbrains/jet/cli/common/CLICompiler.java
@@ -155,7 +155,7 @@ public abstract class CLICompiler<A extends CompilerArguments> {
     }
 
     @NotNull
-    public static ExitCode doDoMain(CLICompiler compiler, String[] args) {
+    public static ExitCode doDoMain(@NotNull CLICompiler compiler, @NotNull String[] args) {
         try {
             ExitCode rc = compiler.exec(System.out, args);
             if (rc != OK) {