update

keram88 · keram88 · commit a1dc8cb026e9 · 2025-04-18T16:11:32.000-06:00
diff --git a/lib/smack/Prelude.cpp b/lib/smack/Prelude.cpp
@@ -1064,6 +1064,7 @@ void TypeDeclGen::generate(std::stringstream &s) const {
     s << Decl::typee(Naming::FLOAT_TYPE, "float24e8") << "\n";
     s << Decl::typee(Naming::DOUBLE_TYPE, "float53e11") << "\n";
     s << Decl::typee(Naming::LONG_DOUBLE_TYPE, "float65e15") << "\n";
+    s << Decl::typee(Naming::UNINTERPRETED_FLOAT_TYPE, "") << "\n";
   } else {
     s << Decl::typee(Naming::UNINTERPRETED_FLOAT_TYPE, "") << "\n";
   }

Original file line number	Diff line number	Diff line change
`@@ -1064,6 +1064,7 @@ void TypeDeclGen::generate(std::stringstream &s) const {`
`1064`	`1064`	`s << Decl::typee(Naming::FLOAT_TYPE, "float24e8") << "\n";`
`1065`	`1065`	`s << Decl::typee(Naming::DOUBLE_TYPE, "float53e11") << "\n";`
`1066`	`1066`	`s << Decl::typee(Naming::LONG_DOUBLE_TYPE, "float65e15") << "\n";`
	`1067`	`+ s << Decl::typee(Naming::UNINTERPRETED_FLOAT_TYPE, "") << "\n";`
`1067`	`1068`	`} else {`
`1068`	`1069`	`s << Decl::typee(Naming::UNINTERPRETED_FLOAT_TYPE, "") << "\n";`
`1069`	`1070`	`}`