From 430defe1104d3427d1e5b3e599287ae021579506 Mon Sep 17 00:00:00 2001
From: Andreas Fabri <andreas.fabri@geometryfactory.com>
Date: Tue, 11 May 2021 11:11:08 +0200
Subject: [PATCH] Add dependencies introduced by including Rational_traits

---
 Distance_3/package_info/Distance_3/dependencies | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Distance_3/package_info/Distance_3/dependencies b/Distance_3/package_info/Distance_3/dependencies
index 2372c4ab8bb..d8f0e86a70c 100644
--- a/Distance_3/package_info/Distance_3/dependencies
+++ b/Distance_3/package_info/Distance_3/dependencies
@@ -2,7 +2,9 @@ Algebraic_foundations
 Distance_2
 Distance_3
 Installation
+Interval_support
 Kernel_23
+Modular_arithmetic
 Number_types
 Profiling_tools
 STL_Extension