From ec65c8e6c8536f04006d7967037e1c68ecd96703 Mon Sep 17 00:00:00 2001
From: Ziyang Hu <hu.ziyang@cantab.net>
Date: Fri, 13 Jan 2023 17:17:53 +0800
Subject: [PATCH] change C API to match the new Rust API

---
 cozo-lib-c/src/lib.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/cozo-lib-c/src/lib.rs b/cozo-lib-c/src/lib.rs
index 2580e161..ff8faf5b 100644
--- a/cozo-lib-c/src/lib.rs
+++ b/cozo-lib-c/src/lib.rs
@@ -12,7 +12,7 @@ use std::collections::BTreeMap;
 use std::ffi::{c_char, CStr, CString};
 use std::ptr::null_mut;
 use std::sync::atomic::{AtomicI32, Ordering};
-use std::sync::Mutex;
+use std::sync::{Arc, Mutex};
 
 use lazy_static::lazy_static;
 
@@ -20,7 +20,7 @@ use cozo::*;
 
 struct Handles {
     current: AtomicI32,
-    dbs: Mutex<BTreeMap<i32, DbInstance>>,
+    dbs: Mutex<BTreeMap<i32, Arc<DbInstance>>>,
 }
 
 lazy_static! {
@@ -69,7 +69,7 @@ pub unsafe extern "C" fn cozo_open_db(
 
     let id = HANDLES.current.fetch_add(1, Ordering::AcqRel);
     let mut dbs = HANDLES.dbs.lock().unwrap();
-    dbs.insert(id, db);
+    dbs.insert(id, Arc::new(db));
     *db_id = id;
     null_mut()
 }