From c92db9ff1df4b1ba20afab5940411449fe80a935 Mon Sep 17 00:00:00 2001
From: Thomas Henn <thomas.henn@rwth-aachen.de>
Date: Mon, 19 Oct 2015 00:21:57 +0200
Subject: [PATCH] fix typedef (switched typename and alias)

Former-commit-id: f576c0412b4ea26fc1eb421858f07780ad43709b
---
 src/storage/gspn/GSPN.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/gspn/GSPN.h b/src/storage/gspn/GSPN.h
index aedfe5f58..d3dab888d 100644
--- a/src/storage/gspn/GSPN.h
+++ b/src/storage/gspn/GSPN.h
@@ -6,7 +6,7 @@ namespace storm {
         // Stores a GSPN
         class GSPN {
             // Later, the rates and probabilities type should become a template, for now, let it be doubles.
-            typedef ValueType double;
+            typedef double ValueType;
 
         };
     }