diff options
| author | Pierre Courtieu | 2013-07-05 13:58:19 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2013-07-05 13:58:19 +0000 |
| commit | 85434fdd653befc5e6e87818dd94bdb5076a7212 (patch) | |
| tree | d30dd1582de2394478b0bd1ecece653360124bd7 /acl2/root2.acl2 | |
| parent | 8dd0f5262b6091e57fef626787557522b2d10661 (diff) | |
Fixing #466. Indent. bug when illformed commment at file beginning.
Nasty bug due to smie fallback to backward-sexp when finding an
unknown token, namely the token "", which happens when reaching the
bof. Had to add a specific token for b o f.
Diffstat (limited to 'acl2/root2.acl2')
0 files changed, 0 insertions, 0 deletions