diff --git a/lib/ai/formula_list.dart b/lib/ai/formula_list.dart
index 4e47753..0974078 100644
--- a/lib/ai/formula_list.dart
+++ b/lib/ai/formula_list.dart
@@ -2,6 +2,7 @@ import 'package:flutter/material.dart';
 import 'package:flutter/services.dart'; // For Clipboard
 import 'package:d4rt_formulas/formula_models.dart';
 import '../corpus.dart';
+import '../set_utils.dart';
 import 'formula_screen.dart';
 import 'package:share_plus/share_plus.dart' as share_plus;
 import 'formula_editor.dart';
diff --git a/lib/database/database_service.dart b/lib/database/database_service.dart
index dbb07a3..532a38e 100644
--- a/lib/database/database_service.dart
+++ b/lib/database/database_service.dart
@@ -1,4 +1,5 @@
 import '../formula_models.dart';
+import '../set_utils.dart';
 import 'corpus_database_interface.dart';
 import 'formulas_database.dart';
 import 'package:d4rt_formulas/formula_models.dart' as models;