From e576ca50bf425a0f3a612db8447fef8fa45b785a Mon Sep 17 00:00:00 2001 From: Alex Horn Date: Tue, 12 May 2015 14:24:59 +0100 Subject: [PATCH] Fix typo in documentation Signed-off-by: Alex Horn --- src/muz/rel/dl_base.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz/rel/dl_base.h b/src/muz/rel/dl_base.h index c14977c04..268cc602e 100644 --- a/src/muz/rel/dl_base.h +++ b/src/muz/rel/dl_base.h @@ -88,7 +88,7 @@ namespace datalog { typedef typename Traits::signature signature; //this must be a vector-like type /** - The client submits an initial class to be used as a base for signature. Then we excend it by + The client submits an initial class to be used as a base for signature. Then we extend it by the common signature methods into a signature_base class which then the client inherits from to obtain the actual signature class. */