Changeset 539a8c8 for src/GenPoly

Timestamp:

Dec 4, 2023, 3:33:15 PM (13 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

8a4e472, c7f9f53

Parents:

c4b9fa9

Message:

Some general clean-up, removing bits and pieces from the old version.

File:

• src/GenPoly/ScrubTypeVars.hpp (modified) (1 diff)

src/GenPoly/ScrubTypeVars.hpp

@@ -16 +16 @@
 #pragma once
 
-#include <cassert>            // for assert
+#include <cassert>            // for strict_dynamic_cast
 
 #include "AST/Fwd.hpp"        // for Node
-#include "GenPoly.h"          // for TypeVarMap, isPolyType, isDynType
+#include "GenPoly.h"          // for TypeVarMap
 
 namespace GenPoly {