diff options
author | Dejan Jovanović <dejan@cs.nyu.edu> | 2013-06-05 16:35:37 -0400 |
---|---|---|
committer | Dejan Jovanović <dejan@cs.nyu.edu> | 2013-06-06 14:51:32 -0400 |
commit | 482167cc10c5df25e107e0b44a24c125f7b18bd2 (patch) | |
tree | b3a132657bbe28c4af493c0152e634ffedf28c3f /examples/simple_vc_compat_c.c | |
parent | 6edae99ca2d1af88ebe82256132d0d058913a13c (diff) |
IDL example theory (to be used with --use-theory=idl).
Diffstat (limited to 'examples/simple_vc_compat_c.c')
0 files changed, 0 insertions, 0 deletions