diff options
| author | Alasdair Armstrong | 2018-04-06 14:47:12 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-04-06 14:47:12 +0100 |
| commit | 922fec6b584a9de72c42036fbb415fa3e06a7a4e (patch) | |
| tree | a09c4c9411e7e47f48a5e14ec1850542c87eb23c /src/ast_util.ml | |
| parent | 650d7affe4704959d177579957bef749c5499158 (diff) | |
Update sail.tex for wip latex output
Fix a bug in initial check which caused X() = y to expect an additional parameter.
Some tweaks to sail2 emacs mode
Diffstat (limited to 'src/ast_util.ml')
0 files changed, 0 insertions, 0 deletions