Skip to content
Snippets Groups Projects
Commit adafe5b9 authored by Julien Signoles's avatar Julien Signoles
Browse files

[E-ACSL] compatibility with kernel's changes

parent 1374b94f
No related branches found
No related tags found
No related merge requests found
......@@ -34,10 +34,10 @@ module Project_name: String
val must_visit: unit -> bool
val dkey_analysis: category
val dkey_dup: category
val dkey_translation: category
val dkey_typing: category
val dkey_analysis: Log.category
val dkey_dup: Log.category
val dkey_translation: Log.category
val dkey_typing: Log.category
(*
Local Variables:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment