new flirt from ceb

[irc.git] / flirts

diff --git a/flirts b/flirts
index 9711f5829d817ba3847635e54379e329bf636c2b..9e6d76928ccf162619344fc0d479bcfff1c24599 100644 (file)
--- a/flirts
+++ b/flirts
@@ -207,3 +207,4 @@ checks %s's topology
 checks %s for topological defects
 inducts over %s
 finds %s's fixed point
+integrates over %s