Changeset 8a4e472 for src/GenPoly

Timestamp:

Dec 4, 2023, 4:39:47 PM (15 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

ebadb5d

Parents:

2f8d351 (diff), 539a8c8 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

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 {