diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-05-03 09:40:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-05-03 09:40:13 -0400 |
| commit | d30f4a5a9244eb6b2ae3d6d8a126e240a2555f70 (patch) | |
| tree | 636b29fc000ec6c1ea2c744e6b2adce28e7ca51f /lib/ur/basis.urs | |
| parent | 1f236b7280e430ba52d6c7255760a3bf326e553f (diff) | |
Set dummy header lookup function in static.c
Diffstat (limited to 'lib/ur/basis.urs')
0 files changed, 0 insertions, 0 deletions