Add missing import

metaborg · Jan 22, 2021 · ef27605 · ef27605
1 parent 4e5bb92
commit ef27605
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/source/langdev/meta/lang/statix/signature-generator.rst b/source/langdev/meta/lang/statix/signature-generator.rst
@@ -88,6 +88,7 @@ symbol (as specified in ``Syntax.esv``). For example, in ``trans/analysis.str``:
      statix/api
 
      injections/-
+     libspoofax/term/origin
 
    rules
 
@@ -280,6 +281,9 @@ To fix this, ensure the ``pre-analyze`` and ``post-analyze`` strategies in
 
 .. code-block:: stratego
 
+   imports libspoofax/term/origin
+
+   rules
      pre-analyze  = origin-track-forced(explicate-injections-MyLang-Start)
      post-analyze = origin-track-forced(implicate-injections-MyLang-Start)
 
diff --git a/source/release/migrate/vnext.md b/source/release/migrate/vnext.md
@@ -10,7 +10,10 @@ This is a stub for the migration guide of Spoofax vNext.
 ## Statix Injection Explication
 There was an issue with Statix injection explication where the origin of the top-level term was lost and this caused SPT tests of Stratego strategies on analyzed ASTs to fail. Fix this by wrapping the bodies of the `pre-analyze` and `post-analyze` strategies in `analyze.str` with `origin-track-forced`, like this:
 
-    pre-analyze  = origin-track-forced(explicate-injections-MyLang-Start)
-    post-analyze = origin-track-forced(implicate-injections-MyLang-Start)
+    imports libspoofax/term/origin
+
+    rules
+        pre-analyze  = origin-track-forced(explicate-injections-MyLang-Start)
+        post-analyze = origin-track-forced(implicate-injections-MyLang-Start)
 
 This is already fixed in new projects.