fixup! Do not use optionalt::value()

tautschnig · tautschnig · commit 47b6b330d503 · 2022-03-24T02:47:25.000Z
diff --git a/src/solvers/flattening/boolbv_index.cpp b/src/solvers/flattening/boolbv_index.cpp
@@ -97,7 +97,7 @@ bvt boolbvt::convert_index(const index_exprt &expr)
       auto maybe_index_value = numeric_cast<mp_integer>(index);
       if(maybe_index_value.has_value())
       {
-        return convert_index(array, maybe_index_value.value());
+        return convert_index(array, *maybe_index_value);
       }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -97,7 +97,7 @@ bvt boolbvt::convert_index(const index_exprt &expr)`
`97`	`97`	`auto maybe_index_value = numeric_cast<mp_integer>(index);`
`98`	`98`	`if(maybe_index_value.has_value())`
`99`	`99`	`{`
`100`		`- return convert_index(array, maybe_index_value.value());`
	`100`	`+ return convert_index(array, *maybe_index_value);`
`101`	`101`	`}`
`102`	`102`	`}`
`103`	`103`