Skip to content
Snippets Groups Projects
Commit 290cdd75 authored by Thibault Martin's avatar Thibault Martin Committed by Allan Blanchard
Browse files

Rename emitters

parent 35c67745
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_internals/typing/populate_spec.ml
+ 2
− 2
View file @ 290cdd75
...@@ -72,11 +72,11 @@ let custom_modes = Hashtbl.create 17 ...@@ -72,11 +72,11 @@ let custom_modes = Hashtbl.create 17
let default = Cil.default_behavior_name let default = Cil.default_behavior_name
let emitter_populate = let emitter_populate =
Emitter.create "PopulateSpec" Emitter.create "Populated spec"
[ Funspec ] ~correctness:[] ~tuning:[] [ Funspec ] ~correctness:[] ~tuning:[]
let emitter_status = let emitter_status =
Emitter.create "PopulateStatus" Emitter.create "Populated status"
[ Property_status ] ~correctness:[] ~tuning:[] [ Property_status ] ~correctness:[] ~tuning:[]
(* Emit [status] on the property [ppt]. *) (* Emit [status] on the property [ppt]. *)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment