Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
5567265b
Commit
5567265b
authored
Sep 23, 2013
by
MARCHE Claude
Browse files
Interp: oops
parent
5374257f
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/whyml/mlw_interp.ml
View file @
5567265b
...
...
@@ -831,7 +831,7 @@ let rec eval_expr env (s:state) (e : expr) : result * state =
|
Eassert
_
->
(* TODO check the validity ! *)
Normal
t_void
,
s
|
Eghost
e
(* -> (* eval_expr env s e *) Normal t_void, s *)
|
Eghost
_
(* -> (* eval_expr env s e *) Normal t_void, s *)
|
Erec
_
|
Eany
_
|
Eabstr
_
...
...
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