Skip to content

Commit

Permalink
minor documentation fix
Browse files Browse the repository at this point in the history
  • Loading branch information
mengwong committed Aug 16, 2023
1 parent 5b2053a commit 2937f8b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/haskell/natural4/src/LS/Interpreter.hs
Original file line number Diff line number Diff line change
Expand Up @@ -420,7 +420,7 @@ relPredRefsAll rs ridmap =
concat <$> mapM (relPredRefs rs ridmap) rs

-- | in a particular rule, walk all the relational predicates available, and show outdegree links
-- that correspond to known BSR heads from the entire ruleset.
-- that correspond to known rule heads from the entire ruleset.
--
-- in other words, if a rule R1 says something like (a WHEN b OR c), it defines a, and relies on b and c;
-- if we find a rule R2 which defines (c MEANS c1 AND c2), then it defines c, and relies on c1 and c2.
Expand Down

0 comments on commit 2937f8b

Please sign in to comment.