diff options
| author | Prashanth Mundkur | 2018-04-06 14:47:54 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-04-06 14:47:54 -0700 |
| commit | 9137877dc68263a0d76a1d01de0530f637c36f83 (patch) | |
| tree | b8fe63dca5d5348fe6756fc6ae56b7e5d682d4ac /src/ast_util.ml | |
| parent | 5c9e50a4c6bb4d9595d5b9eca195e0ad1e4f8816 (diff) | |
Fix some error msg typos.
Diffstat (limited to 'src/ast_util.ml')
0 files changed, 0 insertions, 0 deletions