amalgame/commit

Fixed typo

author	Jacco van Ossenbruggen
	Mon Aug 11 10:03:08 2014 +0200
committer	Jacco van Ossenbruggen
	Mon Aug 11 10:03:08 2014 +0200
commit	88338bac0aa65f50b5be334645b3a2c5017d2da7
tree	3658d51127c2040f2cb7402cb3e27accaf43446b
parent	6baaf70af8aca4f9e2592bfc6524d7c52ff6ea55

Diff style: patch stat

diff --git a/api/mapping.pl b/api/mapping.pl
index 4822b55..8902ebe 100644
--- a/api/mapping.pl
+++ b/api/mapping.pl
@@ -2,7 +2,7 @@
 	  [
 	  ]).
 
-/** Return the correspondences and the statistics for a given mapping node
+/* Return the correspondences and the statistics for a given mapping node
 */
 
 :- use_module(library(apply)).