diff --git a/theories/gmultiset.v b/theories/gmultiset.v
index 6940ba8e581f08ef73bedb5260df9e1bf227a769..afa505bc3274aee41455f48b60ad5f2584800ada 100644
--- a/theories/gmultiset.v
+++ b/theories/gmultiset.v
@@ -1,3 +1,4 @@
+From stdpp Require Export countable.
 From stdpp Require Import gmap.
 Set Default Proof Using "Type".