updated to new sgen type system
@@ -25,7 +25,7 @@ GeneratorModel for sctunit::c {
}
feature SGenModel{
- GenerateSGen = "true"
+ GenerateSGen = true
@@ -55,7 +55,7 @@ GeneratorModel for sctunit::c {
@@ -86,11 +86,11 @@ GeneratorModel for sctunit::c {
-}
+}