fix apply doesn't allow a CTerm with constraints

runtimeverification · Sep 4, 2024 · 94d3596 · 94d3596
1 parent 40e6164
commit 94d3596
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pyk/src/pyk/cterm/cterm.py b/pyk/src/pyk/cterm/cterm.py
@@ -333,8 +333,8 @@ def add_constraint(self, constraint: KInner) -> CSubst:
 
     def apply(self, cterm: CTerm) -> CTerm:
         """Apply this `CSubst` to the given `CTerm` (instantiating the free variables, and adding the constraints)."""
-        _kast = self.subst(cterm.kast)
-        return CTerm(_kast, [self.constraint])
+        config = self.subst(cterm.config)
+        return CTerm(config, [self.constraint])
 
 
 def cterm_build_claim(