1. camlspotter
  2. ocaml-llvm-phantom

Commits

camlspotter  committed 4a206de

fix

  • Participants
  • Parent commits 164616a
  • Branches default

Comments (0)

Files changed (1)

File lgenvalue.ml

View file
  • Ignore whitespace
 module GV = GenericValue
 
 (** phantom *)
-type 'a v = ('a, GV.t) t
-type 'a vs = ('a, GV.t) ts
+type 'a v = ('a, GV.t) Phantom.t
+type 'a vs = ('a, GV.t) Phantom.ts
 
 let unsafe_annotate v _t = v