summaryrefslogtreecommitdiff
path: root/src/options/fp_options
blob: 977e868d98f9b505a04c9f73807f78f053c358ea (plain) 
1
2
3
4
5
6
7
8

#
# Option specification file for CVC4
# See src/options/base_options for a description of this file format
#

module FP "options/fp_options.h" Fp

endmodule
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback