From 5eead52cc069662ca4e38689689d0ba9db911311 Mon Sep 17 00:00:00 2001
From: philzook58 <philzook58@gmail.com>
Date: Wed, 9 Oct 2019 15:52:22 -0400
Subject: [PATCH] Fixed linkopts -lstdc++ for ocaml bindings

---
 src/api/ml/META.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/ml/META.in b/src/api/ml/META.in
index bda80fdc4..591780e90 100644
--- a/src/api/ml/META.in
+++ b/src/api/ml/META.in
@@ -8,4 +8,4 @@ archive(byte,plugin) = "z3ml.cma"
 archive(native,plugin) = "z3ml.cmxs"
 archive(byte,toploop) = "z3ml.cma"
 archive(native,toploop) = "z3ml.cmxa"
-linkopts = "-cclib @LEXTRA@"
+linkopts = "-cclib -lstdc++ @LEXTRA@"