bugfix when building without optimization feature

chrjabs · Aug 21, 2023 · f191889 · f191889
1 parent f2a1801
commit f191889
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 license = "MIT"

diff --git a/src/instances/fio/opb.rs b/src/instances/fio/opb.rs
@@ -357,7 +357,7 @@ fn opb_data(input: &str, opts: Options) -> IResult<&str, OpbData> {
         #[cfg(feature = "optimization")]
         map_res(|i| objective(i, opts), |obj| Ok::<_, ()>(OpbData::Obj(obj))),
         #[cfg(not(feature = "optimization"))]
-        map_res(objective, |obj| {
+        map_res(|i| objective(i, opts), |obj| {
             Ok::<_, ()>(OpbData::Obj(String::from(obj)))
         }),
     ))(input)