From 6fec0184b127ceb520464e6703466c186011c776 Mon Sep 17 00:00:00 2001
From: "pre-commit-ci[bot]"
 <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Date: Fri, 16 Feb 2024 21:31:37 +0000
Subject: [PATCH] [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci
---
 python/egglog/examples/resolution.py    | 1 +
 python/egglog/examples/schedule_demo.py | 1 +
 python/egglog/exp/program_gen.py        | 1 +
 python/egglog/type_constraint_solver.py | 1 +
 4 files changed, 4 insertions(+)

diff --git a/python/egglog/examples/resolution.py b/python/egglog/examples/resolution.py
index 6971a523..dbfd659a 100644
--- a/python/egglog/examples/resolution.py
+++ b/python/egglog/examples/resolution.py
@@ -2,6 +2,7 @@
 Resolution theorem proving.
 ===========================
 """
+
 from __future__ import annotations
 
 from typing import ClassVar
diff --git a/python/egglog/examples/schedule_demo.py b/python/egglog/examples/schedule_demo.py
index 46965a2d..bd938e08 100644
--- a/python/egglog/examples/schedule_demo.py
+++ b/python/egglog/examples/schedule_demo.py
@@ -2,6 +2,7 @@
 Schedule demo
 =============
 """
+
 from __future__ import annotations
 
 from egglog import *
diff --git a/python/egglog/exp/program_gen.py b/python/egglog/exp/program_gen.py
index 24f1c243..40ffc566 100644
--- a/python/egglog/exp/program_gen.py
+++ b/python/egglog/exp/program_gen.py
@@ -2,6 +2,7 @@
 """
 Builds up imperative string expressions from a functional expression.
 """
+
 from __future__ import annotations
 
 from typing import Union
diff --git a/python/egglog/type_constraint_solver.py b/python/egglog/type_constraint_solver.py
index 44f1f512..0b475bbf 100644
--- a/python/egglog/type_constraint_solver.py
+++ b/python/egglog/type_constraint_solver.py
@@ -1,4 +1,5 @@
 """Provides a class for solving type constraints."""
+
 from __future__ import annotations
 
 from collections import defaultdict