From 67827ede4c35b496a6d4e2c6ed09ffda47e4fdc2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 18 Jan 2015 04:13:00 +0530
Subject: [PATCH] add 'throws' declaration

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/java/Context.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index a3b24c5d0..5de82026f 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -382,6 +382,7 @@ public class Context extends IDisposable
      * the remainig fields of t are unchanged.	
      **/
     public Expr MkUpdateField(FuncDecl field, Expr t, Expr v) 
+            throws Z3Exception
     {
 	return Expr.create
 	    (this,