diff options
| author | Alasdair Armstrong | 2019-03-11 13:03:07 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-11 14:42:09 +0000 |
| commit | 711de1e76e82026e361f232010304175f0542c3d (patch) | |
| tree | 7a3286b5075629fdc8beec44cfbd7d2ab1329d4e /src/pretty_print_lem.ml | |
| parent | 9c4c0e8770a43bb097df243050163afd1b31cc8f (diff) | |
Improve ocamldoc comments
Check in a slightly nicer stylesheet for OCamldoc generated
documentation in etc. Most just add a maximum width and increase the
font size because the default looks absolutely terrible on high-DPI
monitors.
Move val_spec_ids out of initial_check and into ast_util where it
probably belongs. Rename some functions in util.ml to better match the
OCaml stdlib.
Diffstat (limited to 'src/pretty_print_lem.ml')
| -rw-r--r-- | src/pretty_print_lem.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print_lem.ml b/src/pretty_print_lem.ml index 1c30e06e..50ce1e5a 100644 --- a/src/pretty_print_lem.ml +++ b/src/pretty_print_lem.ml @@ -1466,7 +1466,7 @@ let pp_defs_lem (types_file,types_modules) (defs_file,defs_modules) type_env (De (* let regtypes = find_regtypes d in *) let state_ids = State.generate_regstate_defs !opt_mwords defs - |> Initial_check.val_spec_ids + |> val_spec_ids in let is_state_def = function | DEF_spec vs -> IdSet.mem (id_of_val_spec vs) state_ids |