Skip to content

Commit 0a624da

Browse files
committed
FIXED: Determinism of gv_format_type(+,-).
1 parent da79378 commit 0a624da

File tree

1 file changed

+5
-3
lines changed

1 file changed

+5
-3
lines changed

prolog/graph/gv.pl

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@
1818
/** <module> GraphViz export
1919
2020
@author Wouter Beek
21-
@version 2018
21+
@version 2018-2019
2222
*/
2323

2424
:- use_module(library(error)).
@@ -213,8 +213,10 @@
213213
%! gv_format_type(-Format:atom, -Type:gv_type) is nondet.
214214

215215
gv_format_type(Format1, Type) :-
216-
gv_format_synonym_(Format1, Format2),
217-
gv_format_type_(Format2, Type).
216+
call_det_when_ground(Format1, (
217+
gv_format_synonym_(Format1, Format2),
218+
gv_format_type_(Format2, Type)
219+
)).
218220

219221
gv_format_synonym_(Format1, Format2) :-
220222
gv_format_synonym__(Format1, Format2).

0 commit comments

Comments
 (0)