blob: 327fb85d268b4a7dd829433e2640766b0f75971f [file] [log] [blame]
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))