diff --git a/src/irj_checker/irj_checker.ml b/src/irj_checker/irj_checker.ml index d8c20870..94701e05 100644 --- a/src/irj_checker/irj_checker.ml +++ b/src/irj_checker/irj_checker.ml @@ -13,6 +13,11 @@ You should have received a copy of the GNU General Public License along with this program. If not, see . *) +(** The Irj_checker Module is a simple entry point to use the Mlang IRJ file + parser in order to perform syntactic checks on test files. + + Usage: irj_checker.exe *) + let () = if Array.length Sys.argv <> 2 then ( Printf.eprintf "This program requires a test file as argument\n";