update swig on windows

This commit is contained in:
Bassem Girgis
2019-08-04 21:38:19 -05:00
parent 8414b7136b
commit 76ad52be58
5943 changed files with 91790 additions and 71892 deletions

View File

@@ -0,0 +1,9 @@
open Swig
open String_simple
let str = "olé"
let copy = _copy_str (C_string str) as string
let _ = if str <> copy then
raise (Failure ("Error: copy is not equal: original="^str^", copy="^copy))