@@ -501,8 +501,10 @@ private class StructComponent extends MkSomeComponent {
501501 }
502502}
503503
504+ /**
505+ */
504506pragma [ nomagic]
505- predicate unpackStructType (
507+ private predicate unpackStructType (
506508 StructType s , TOptStructComponent c0 , TOptStructComponent c1 , TOptStructComponent c2 ,
507509 TOptStructComponent c3 , TOptStructComponent c4 , int nComponents
508510) {
@@ -535,7 +537,7 @@ predicate unpackStructType(
535537}
536538
537539pragma [ nomagic]
538- predicate unpackAndUnaliasStructType (
540+ private predicate unpackAndUnaliasStructType (
539541 StructType s , TOptStructComponent c0 , TOptStructComponent c1 , TOptStructComponent c2 ,
540542 TOptStructComponent c3 , TOptStructComponent c4 , int nComponents
541543) {
@@ -956,7 +958,7 @@ private class InterfaceComponent extends MkSomeIComponent {
956958}
957959
958960pragma [ nomagic]
959- predicate unpackInterfaceType (
961+ private predicate unpackInterfaceType (
960962 InterfaceType intf , TOptInterfaceComponent c0 , TOptInterfaceComponent c1 ,
961963 TOptInterfaceComponent c2 , TOptInterfaceComponent c3 , TOptInterfaceComponent c4 ,
962964 TOptInterfaceComponent e1 , TOptInterfaceComponent e2 , int nComponents , int nEmbeds ,
@@ -1003,7 +1005,7 @@ predicate unpackInterfaceType(
10031005}
10041006
10051007pragma [ nomagic]
1006- predicate unpackAndUnaliasInterfaceType (
1008+ private predicate unpackAndUnaliasInterfaceType (
10071009 InterfaceType intf , TOptInterfaceComponent c0 , TOptInterfaceComponent c1 ,
10081010 TOptInterfaceComponent c2 , TOptInterfaceComponent c3 , TOptInterfaceComponent c4 ,
10091011 TOptInterfaceComponent e1 , TOptInterfaceComponent e2 , int nComponents , int nEmbeds ,
0 commit comments