don't require Crux.Model personality for mirRef_indexAndLenSim

GaloisInc · Apr 21, 2021 · c6b5472 · c6b5472
1 parent 44c8aeb
commit c6b5472
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crux-mir/src/Mir/Intrinsics.hs b/crux-mir/src/Mir/Intrinsics.hs
@@ -1551,7 +1551,7 @@ mirRef_indexAndLenIO sym s (MirReferenceMux ref) = do
 
 mirRef_indexAndLenSim :: IsSymInterface sym =>
     MirReferenceMux sym tp ->
-    OverrideSim (Model sym) sym MIR rtp args ret
+    OverrideSim p sym MIR rtp args ret
         (PartExpr (Pred sym) (RegValue sym UsizeType, RegValue sym UsizeType))
 mirRef_indexAndLenSim ref = do
     sym <- getSymInterface