Browse files

Add missing reference to `tests-sample.lgt` file to `lgtunit` notes

  • Loading branch information...
pmoura committed Oct 10, 2018
1 parent 9715cbd commit 5fa1bb45ea7834bdfa0687936a5fa211ab2ec23e
Showing with 1 addition and 1 deletion.
  1. +1 −1 tools/lgtunit/
@@ -69,7 +69,7 @@ Writing, compiling, and loading unit tests
In order to write your own unit tests, define objects extending the `lgtunit`
object. For example:
object. You may start from the `../../tests-sample.lgt` file. For example:
:- object(tests,

0 comments on commit 5fa1bb4

Please sign in to comment.