Small correction in metatheory/Setup.hs's comment (#5743)

IntersectMBO · Jan 26, 2024 · 0c23785 · 0c23785
1 parent c62d4ce
commit 0c23785
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plutus-metatheory/Setup.hs b/plutus-metatheory/Setup.hs
@@ -28,7 +28,7 @@ isn't part of the source tree, but is in fact autogenerated in dist-newstyle fro
 Tokens.x!
 
 In order to achieve this, cabal PreProcessors are used. First we make sure to list
-src/**/*.lagda in the cabal's extra-source-files. This way, when changes to .lagda
+src/**/*.lagda in the cabal's data-files. This way, when changes to .lagda
 files are made, cabal will pre-process them anew, with the pre-processor being run
 once on each changed file.