From 51cdfb5fdb74871c2d0ebb23635f5d28dfdacb43 Mon Sep 17 00:00:00 2001 From: Bill Welden Date: Tue, 4 Dec 2012 11:55:29 -0800 Subject: [PATCH] Fix a jshint issue --- src/embind/embind.js | 1 + 1 file changed, 1 insertion(+) diff --git a/src/embind/embind.js b/src/embind/embind.js index 7f4e0d2e2..2c5d20c06 100755 --- a/src/embind/embind.js +++ b/src/embind/embind.js @@ -575,6 +575,7 @@ function __embind_register_class( } }); + /*global ___getDynamicPointerType: false*/ var pointerName = name + '*'; registerType(pointerType, pointerName, { name: pointerName,