From 92e70aecad9e25a53e49959f8fb26a859a2ebf82 Mon Sep 17 00:00:00 2001
From: "Narazaki, Shuji" <shujinarazaki@protonmail.com>
Date: Sun, 12 Jan 2025 02:35:09 +0900
Subject: [PATCH] cargo test

---
 src/cdb/db.rs | 2 +-
 src/types.rs  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/cdb/db.rs b/src/cdb/db.rs
index 6ee26d26f..35c2b94af 100644
--- a/src/cdb/db.rs
+++ b/src/cdb/db.rs
@@ -22,7 +22,7 @@ use std::{fs::File, io::Write, path::Path};
 ///
 ///```
 /// use crate::{splr::config::Config, splr::types::*};
-/// use crate::splr::cdb::ClauseDB;
+/// use crate::splr::cdb::db::ClauseDB;
 /// let cdb = ClauseDB::instantiate(&Config::default(), &CNFDescription::default());
 ///```
 #[derive(Clone, Debug)]
diff --git a/src/types.rs b/src/types.rs
index 567202b1f..e8f4255e4 100644
--- a/src/types.rs
+++ b/src/types.rs
@@ -77,7 +77,7 @@ pub trait ActivityIF<Ix> {
 ///
 /// ```
 /// use crate::{splr::config::Config, splr::types::*};
-/// use splr::{cdb::ClauseDB, solver::Solver};
+/// use splr::{cdb::db::ClauseDB, solver::Solver};
 /// let _ = ClauseDB::instantiate(&Config::default(), &CNFDescription::default());
 /// let _ = Solver::instantiate(&Config::default(), &CNFDescription::default());
 ///```