amalgame/commit

fixed: left-over gtrace removed ...

authorJacco van Ossenbruggen
Mon Dec 20 15:26:28 2021 +0100
committerJacco van Ossenbruggen
Mon Dec 20 15:26:28 2021 +0100
commit93809ba101ff0bb717f83906f83b05ee44ca5589
tree2daadb339784baaeeee59663c808e495835956e2
parent30b1c49cbd9faa77b3b856c5a82f69a16caf32fd
Diff style: patch stat
diff --git a/lib/amalgame/mapping_graph.pl b/lib/amalgame/mapping_graph.pl
index 70e6794..7ddab1c 100644
--- a/lib/amalgame/mapping_graph.pl
+++ b/lib/amalgame/mapping_graph.pl
@@ -354,7 +354,6 @@ augment_relation(Mappings, Reference, NewResults, Options) :-
 
 
 augment_relation(NewMappings ,NewRef, Results, Options) :-
-	gtrace,
 	NewRef = NewMappings,
 	Results = Options.