diff --git a/lang/occam/test/sort.ocm b/lang/occam/test/sort.ocm index a220cff85..74bc88063 100644 --- a/lang/occam/test/sort.ocm +++ b/lang/occam/test/sort.ocm @@ -1,5 +1,5 @@ --- This file contains a recursive call to sorter, so this is not really Occam. #include "dec.ocm" +-- This file contains a recursive call to sorter, so this is not really Occam. var c: seq