pr 354, based on 53f8e30

Author: jcp19

pkg/slayers/path/infofield_spec.gobra

@@ -77,7 +77,7 @@ pure func AbsUinfo(raw []byte, currINF int, headerOffset int) set[io.IO_msgterm]
 
 // This type simplifies the infoField, making it easier
 // to use than the IO_seg3 from the IO-spec.
-type IntermediateAbsInfoField adt {
+ghost type IntermediateAbsInfoField adt {
 	IntermediateAbsInfoField_ {
 		AInfo io.IO_ainfo
 		UInfo set[io.IO_msgterm]