diff --git a/Makefile b/Makefile
index f783c56814d86b2b339ad831ef2b20dae48334f5..a03374d84327f1e9c05048bd16861e86dfab8426 100644
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,7 @@ COQ_PATH =	_build/lib/coq/user-contrib
 RUST_TARGET = $(shell rustc -vV | sed -n 's|host: ||p')
 RUST_PATH =	target/$(RUST_TARGET)/release
 
-CASE_STUDIES = case_studies/paper-examples case_studies/tests case_studies/minivec
+CASE_STUDIES = case_studies/paper_examples case_studies/tests case_studies/minivec
 
 ### Project setup
 setup-nix:
diff --git a/case_studies/paper-examples/Cargo.toml b/case_studies/paper_examples/Cargo.toml
similarity index 100%
rename from case_studies/paper-examples/Cargo.toml
rename to case_studies/paper_examples/Cargo.toml
diff --git a/case_studies/paper-examples/RefinedRust.toml b/case_studies/paper_examples/RefinedRust.toml
similarity index 100%
rename from case_studies/paper-examples/RefinedRust.toml
rename to case_studies/paper_examples/RefinedRust.toml
diff --git a/case_studies/paper-examples/dune b/case_studies/paper_examples/dune
similarity index 100%
rename from case_studies/paper-examples/dune
rename to case_studies/paper_examples/dune
diff --git a/case_studies/paper-examples/src/main.rs b/case_studies/paper_examples/src/main.rs
similarity index 100%
rename from case_studies/paper-examples/src/main.rs
rename to case_studies/paper_examples/src/main.rs