diff --git a/klee.spec b/klee.spec index b18ecfd..0555a67 100644 --- a/klee.spec +++ b/klee.spec @@ -148,7 +148,7 @@ ninja check %{_libdir}/klee/runtime/libkleeRuntimeFreestanding*_{%{runtime_variants}}.bca %{_libdir}/klee/runtime/libkleeRuntimeIntrinsic*_{%{runtime_variants}}.bca %{_libdir}/klee/runtime/libkleeRuntimeKLEELibc*_{%{runtime_variants}}.bca -%{_libdir}/klee/runtime/libkleeUBSan64*_{%{runtime_variants}}.bca +%{_libdir}/klee/runtime/libkleeUBSan*_{%{runtime_variants}}.bca %if %{with_uclibc} %{_libdir}/klee/runtime/klee-uclibc.bca %{_libdir}/klee/runtime/libkleeRuntimePOSIX*_{%{runtime_variants}}.bca