1 files changed, 2 insertions, 2 deletions
diff --git a/src/printer/printer.h b/src/printer/printer.h
index 835dbe798..f17029618 100644
--- a/src/printer/printer.h
+++ b/src/printer/printer.h
@@ -33,8 +33,8 @@ namespace CVC4 {
 class Command;
 class CommandStatus;
 class UnsatCore;
-class InstantiationList;
-class SkolemList;
+struct InstantiationList;
+struct SkolemList;
 
 class Printer
 {