diff --git a/theories/heap_lang/lang.v b/theories/heap_lang/lang.v
index ad5d655d4b5d110aadab4f3951e452df55eaca30..effcebd5fa56f3918eafd974af98858adb8f6705 100644
--- a/theories/heap_lang/lang.v
+++ b/theories/heap_lang/lang.v
@@ -337,6 +337,7 @@ Instance val_inhabited : Inhabited val := populate (LitV LitUnit).
 Instance expr_inhabited : Inhabited expr := populate (Val inhabitant).
 
 Canonical Structure stateC := leibnizC state.
+Canonical Structure locC := leibnizC loc.
 Canonical Structure valC := leibnizC val.
 Canonical Structure exprC := leibnizC expr.