cargo test

shnarazk · Jan 11, 2025 · 92e70ae · 92e70ae
1 parent d8f6e8c
commit 92e70ae
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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());
 ///```