diff options
| author | Enrico Tassi | 2013-12-20 17:51:24 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-01-04 17:07:15 +0100 |
| commit | 9bb1b959071575074870ba2a11ca79cb52cb7e8b (patch) | |
| tree | 9cf81621b195fa06c3ac68e2a58a63099840fb70 /lib/future.ml | |
| parent | ba2d8da59c9502bb892179223b4b2f39a41c09c2 (diff) | |
STM: set loc for aux file when interpreting vernac
Diffstat (limited to 'lib/future.ml')
0 files changed, 0 insertions, 0 deletions