From fa44871cd8296362e257148dbc55df15d22fbc76 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Tue, 14 May 2019 09:55:25 +0200
Subject: [PATCH] make all behavioral facts available as rt.behavior.facts.all.

---
 behavior/facts/all.v | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 behavior/facts/all.v

diff --git a/behavior/facts/all.v b/behavior/facts/all.v
new file mode 100644
index 000000000..6fbdfa1d2
--- /dev/null
+++ b/behavior/facts/all.v
@@ -0,0 +1,2 @@
+Require Export rt.behavior.facts.service.
+Require Export rt.behavior.facts.completion.
-- 
GitLab