var namespaces_dup =
[
    [ "__gnu_cxx", "namespace____gnu__cxx.html", "namespace____gnu__cxx" ],
    [ "CVC3", "namespaceCVC3.html", "namespaceCVC3" ],
    [ "CVC4", "namespaceCVC4.html", "namespaceCVC4" ],
    [ "std", "namespacestd.html", null ]
];