From 8a101fd73aa990a416be6908a7d278d2679f73a5 Mon Sep 17 00:00:00 2001
From: Richard Haar <rh@richhaar.com>
Date: Wed, 10 Dec 2025 15:13:57 +0000
Subject: [PATCH] Fix missing header for Ubuntu build

---
 teaser/include/teaser/registration.h | 1 +
 teaser/src/graph.cc                  | 1 +
 teaser/src/linalg.h                  | 1 +
 3 files changed, 3 insertions(+)

diff --git a/teaser/include/teaser/registration.h b/teaser/include/teaser/registration.h
index 0e16f33..e818389 100644
--- a/teaser/include/teaser/registration.h
+++ b/teaser/include/teaser/registration.h
@@ -8,6 +8,7 @@
 
 #pragma once
 
+#include <cassert>
 #include <memory>
 #include <vector>
 #include <tuple>
diff --git a/teaser/src/graph.cc b/teaser/src/graph.cc
index 5ed4872..9fed605 100644
--- a/teaser/src/graph.cc
+++ b/teaser/src/graph.cc
@@ -8,6 +8,7 @@
 
 #include "teaser/graph.h"
 #include "pmc/pmc.h"
+#include <cassert>
 
 std::vector<int> teaser::MaxCliqueSolver::findMaxClique(teaser::Graph graph) {
 
diff --git a/teaser/src/linalg.h b/teaser/src/linalg.h
index 3fb7024..2d34d8f 100644
--- a/teaser/src/linalg.h
+++ b/teaser/src/linalg.h
@@ -8,6 +8,7 @@
 
 #pragma once
 
+#include <cassert>
 #include <iostream>
 
 #include <omp.h>