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
Why3
why3
Commits
b8823b2e
Commit
b8823b2e
authored
Mar 04, 2011
by
Andrei Paskevich
Browse files
relax a too strict assertion in Loc.join
parent
1049ecde
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/util/loc.ml
View file @
b8823b2e
...
...
@@ -53,8 +53,8 @@ exception Located of position * exn
let
dummy_position
=
(
""
,
0
,
0
,
0
)
let
join
(
f1
,
l1
,
b1
,
_
)
(
f2
,
l2
,_
,
e2
)
=
assert
(
f1
=
=
f2
&&
l1
==
l2
);
(
f1
,
l1
,
b1
,
e2
)
let
join
(
f1
,
l1
,
b1
,
e1
)
(
f2
,
_,
b2
,
e2
)
=
assert
(
f1
=
f2
);
(
f1
,
l1
,
b1
,
e
1
+
e2
-
b
2
)
let
extract
(
b
,
e
)
=
let
f
=
b
.
pos_fname
in
...
...
Write
Preview
Supports
Markdown
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