diff --git a/program_logic/namespaces.v b/program_logic/namespaces.v
index ac5d73abaf7bcffb67f40729303b25ec7c498f33..0783c756414c0157085b4b592230db41bd633070 100644
--- a/program_logic/namespaces.v
+++ b/program_logic/namespaces.v
@@ -68,4 +68,4 @@ Hint Extern 0 (_ ⊥ _) => apply ndot_ne_disjoint; congruence : ndisj.
 Hint Resolve ndot_preserve_disjoint_l : ndisj.
 Hint Resolve ndot_preserve_disjoint_r : ndisj.
 
-Ltac solve_ndisj := eauto with ndisj.
+Ltac solve_ndisj := solve [eauto with ndisj].