Open Fxhnd opened 6 years ago
Some of the clif files have a comment header in the form: / AUTOMATICALLY CREATED BY MACLEOD ON Fri Oct 14 11:08:16 2016/
The grammar doesn't have this kind of comment defined so we should probably add that in at some point.
Example can be found in: multidim_space_codi/consistency/sc_nontrivial.clif
Some of the clif files have a comment header in the form: / AUTOMATICALLY CREATED BY MACLEOD ON Fri Oct 14 11:08:16 2016/
The grammar doesn't have this kind of comment defined so we should probably add that in at some point.
Example can be found in: multidim_space_codi/consistency/sc_nontrivial.clif