Merge branch 'master-vincenzo' into 'master'

Master vincenzo

See merge request !5

1 files changed, 3 insertions, 0 deletions

diff --git a/example.py b/example.py
index 931eb73..6013173 100644
--- a/example.py
+++ b/example.py
@@ -3,6 +3,9 @@
 # An example script using rhumba.py
 
 from rhumba import *
+import rhumba_ouroboros as our
+import rhumba_rlite as rl
+import rhumba_irati as irati
 
 n1 = NormalDIF("n1", policies = {"rmt.pff": "lfa",
                                  "security-manager": "passwd"})