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; }; }