Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
48f79944
Commit
48f79944
authored
Apr 29, 2019
by
Julien Signoles
Browse files
[Keep_status] revert to previous state (changes commited by mistake)
parent
3e1613da
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/plugins/e-acsl/keep_status.ml
View file @
48f79944
...
...
@@ -133,9 +133,9 @@ let must_translate kf kind =
let
name
=
Functions
.
RTL
.
get_original_name
kf
in
try
let
info
=
(*
try
*)
Datatype
.
String
.
Hashtbl
.
find
keep_status
name
(*
with Not_found ->
Options.fatal "[keep_status] unbound function" Datatype.String.pretty kf
*)
try
Datatype
.
String
.
Hashtbl
.
find
keep_status
name
with
Not_found
->
Options
.
fatal
"[keep_status] unbound function"
Datatype
.
String
.
pretty
kf
in
info
.
cpt
<-
info
.
cpt
+
1
;
let
kind'
,
keep
=
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment