From 59371416050c6a2c38d8b893f65f09887114c73e Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 16 Apr 2014 16:10:29 +0100 Subject: [PATCH] ML API: bugfix Signed-off-by: Christoph M. Wintersteiger --- scripts/update_api.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/update_api.py b/scripts/update_api.py index 0ed9b29ca..8ce652ed5 100644 --- a/scripts/update_api.py +++ b/scripts/update_api.py @@ -1254,7 +1254,7 @@ def mk_ml(): ml_native.write(' a%d' % i) i = i + 1 ml_native.write(') in\n') - if len(params) > 0 and param_type(params[0]) == CONTEXT: + if name not in Unwrapped and len(params) > 0 and param_type(params[0]) == CONTEXT: ml_native.write(' let err = (error_code_of_int (ML2C.n_get_error_code a0)) in \n') ml_native.write(' if err <> OK then\n') ml_native.write(' raise (Exception (ML2C.n_get_error_msg_ex a0 (int_of_error_code err)))\n')