From 4f1fad80a4d99a859a1dbb08eed06356f1e51674 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 1 Mar 2016 17:06:58 +0100
Subject: [PATCH] * spot/kripke/fwd.hh: Typo.

---
 spot/kripke/fwd.hh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spot/kripke/fwd.hh b/spot/kripke/fwd.hh
index 409ace79d..2b4e81af3 100644
--- a/spot/kripke/fwd.hh
+++ b/spot/kripke/fwd.hh
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2014 Laboratoire de Recherche et Développement de
+// Copyright (C) 2014, 2016 Laboratoire de Recherche et Développement de
 // l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -28,8 +28,8 @@ namespace spot
   typedef std::shared_ptr<const fair_kripke> const_fair_kripke_ptr;
 
   class kripke;
+  typedef std::shared_ptr<kripke> kripke_ptr;
   typedef std::shared_ptr<const kripke> const_kripke_ptr;
-  typedef std::shared_ptr<kripke> tgba_kripke_ptr;
 
   class kripke_explicit;
   typedef std::shared_ptr<const kripke_explicit> const_kripke_explicit_ptr;