diff --git a/src/ast/sls/bv_sls_eval.cpp b/src/ast/sls/sls_bv_eval.cpp
similarity index 100%
rename from src/ast/sls/bv_sls_eval.cpp
rename to src/ast/sls/sls_bv_eval.cpp
diff --git a/src/ast/sls/bv_sls_eval.h b/src/ast/sls/sls_bv_eval.h
similarity index 100%
rename from src/ast/sls/bv_sls_eval.h
rename to src/ast/sls/sls_bv_eval.h
diff --git a/src/ast/sls/bv_sls_fixed.cpp b/src/ast/sls/sls_bv_fixed.cpp
similarity index 100%
rename from src/ast/sls/bv_sls_fixed.cpp
rename to src/ast/sls/sls_bv_fixed.cpp
diff --git a/src/ast/sls/bv_sls_fixed.h b/src/ast/sls/sls_bv_fixed.h
similarity index 100%
rename from src/ast/sls/bv_sls_fixed.h
rename to src/ast/sls/sls_bv_fixed.h
diff --git a/src/ast/sls/bv_sls_terms.cpp b/src/ast/sls/sls_bv_terms.cpp
similarity index 100%
rename from src/ast/sls/bv_sls_terms.cpp
rename to src/ast/sls/sls_bv_terms.cpp
diff --git a/src/ast/sls/bv_sls_terms.h b/src/ast/sls/sls_bv_terms.h
similarity index 100%
rename from src/ast/sls/bv_sls_terms.h
rename to src/ast/sls/sls_bv_terms.h
diff --git a/src/ast/sls/sls_valuation.cpp b/src/ast/sls/sls_bv_valuation.cpp
similarity index 100%
rename from src/ast/sls/sls_valuation.cpp
rename to src/ast/sls/sls_bv_valuation.cpp
diff --git a/src/ast/sls/sls_valuation.h b/src/ast/sls/sls_bv_valuation.h
similarity index 100%
rename from src/ast/sls/sls_valuation.h
rename to src/ast/sls/sls_bv_valuation.h