Apply suggestion from @gmalecha-at-skylabs

gmalecha-at-skylabs · web-flow · commit d474fabb1bf7 · 2026-03-26T12:45:41.000-04:00
diff --git a/rocq-ltac2-tc-dispatch/README.md b/rocq-ltac2-tc-dispatch/README.md
@@ -3,5 +3,5 @@ Extension of the Ltac2 standard library
 
 To use the library, require via the following command:
 ```coq
-Require Import skylabs.ltac2.extra.extra.
+Require Import skylabs.ltac2.tc_dispatch.lookup.
 ```
