From 69e43469610c12508d9779344bfedd3491c8ddb7 Mon Sep 17 00:00:00 2001
From: Svetlana Isakova <svetlana.isakova@jetbrains.com>
Date: Mon, 24 Feb 2014 14:25:14 +0400
Subject: [PATCH] minor: added @NotNull annotation

---
 .../cfg/pseudocode/LocalFunctionDeclarationInstruction.java    | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/LocalFunctionDeclarationInstruction.java b/compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/LocalFunctionDeclarationInstruction.java
index d0c7f3e1d79..500f6118454 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/LocalFunctionDeclarationInstruction.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/LocalFunctionDeclarationInstruction.java
@@ -28,11 +28,12 @@ public class LocalFunctionDeclarationInstruction extends InstructionWithNext {
     private final Pseudocode body;
     private Instruction sink;
 
-    public LocalFunctionDeclarationInstruction(@NotNull JetElement element, Pseudocode body) {
+    public LocalFunctionDeclarationInstruction(@NotNull JetElement element, @NotNull Pseudocode body) {
         super(element);
         this.body = body;
     }
 
+    @NotNull
     public Pseudocode getBody() {
         return body;
     }