update submodule pointer, account for changes upstream

[coq-hetmet.git] / src / All.v

diff --git a/src/All.v b/src/All.v
index d9f1d16..b42d175 100644 (file)
--- a/src/All.v
+++ b/src/All.v
@@ -79,8 +79,7 @@ Require Import GeneralizedArrowCategory.
 Require Import ReificationsAndGeneralizedArrows.
 Require Import ReificationsIsomorphicToGeneralizedArrows.
 
-Require Import HaskProofStratified.
-Require Import HaskProofFlattener.
+Require Import HaskProofCategory.
 Require Import ProgrammingLanguage.
 
 (* very slow! *)