diff --git a/Projects/mathlib-demo/MathlibLatest.lean b/Projects/mathlib-demo/MathlibLatest.lean
index a740d7b3..9490e03e 100644
--- a/Projects/mathlib-demo/MathlibLatest.lean
+++ b/Projects/mathlib-demo/MathlibLatest.lean
@@ -1,5 +1,6 @@
 import Mathlib
 import ProofWidgets
+import Plausible
 
 import MathlibLatest.Bijection
 import MathlibLatest.Logic