Skip to content

Commit 1538e4b

Browse files
committed
fix roque reference
1 parent 6b0068e commit 1538e4b

File tree

3 files changed

+3
-2
lines changed

3 files changed

+3
-2
lines changed

rustsat/Cargo.toml

+1-1
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ license = "MIT"
77
description = "This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance."
88
keywords = ["sat", "satisfiability", "encodings"]
99
repository = "https://github.com/chrjabs/rustsat"
10-
readme = "../README.md"
10+
readme = "README.md"
1111

1212
build = "build.rs"
1313

rustsat/README.md

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
../README.md

rustsat/src/lib.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
#![doc = include_str!("../../README.md")]
1+
#![doc = include_str!("../README.md")]
22
#![cfg_attr(feature = "bench", feature(test))]
33

44
pub mod encodings;

0 commit comments

Comments
 (0)