cache netkat classifiers for derived policies as well

frenetic-lang · Mar 10, 2016 · 640953b · 640953b
1 parent 5f90b49
commit 640953b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/pyretic/core/language.py b/pyretic/core/language.py
@@ -1607,7 +1607,8 @@ def compile(self):
         return self._classifier
 
     def netkat_compile(self, *args, **kwargs):
-        return self.policy.netkat_compile(*args, **kwargs)
+        (self._classifier, comp_t) = self.policy.netkat_compile(*args, **kwargs)
+        return (self._classifier, comp_t)
 
     def generate_classifier(self):
         return self.policy.compile()