Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[fix] trx: cache generation

  • Loading branch information...
commit 6c30f81fd760ad10d451e532bfb0a8b01647dfe8 1 parent 878ee52
Hugo Venturini authored
Showing with 4 additions and 8 deletions.
  1. +2 −4 libtrx/trxparse.ml.cache
  2. +2 −4 libtrx/trxparse_functor.ml.cache
View
6 libtrx/trxparse.ml.cache
@@ -3075,8 +3075,7 @@ and cache = __3
and annots = __2 in
#64 "trxparse.trx"
-( jlog ~level:2 (sprintf "definition: %s" id) ;
- let entry =
+( let entry =
{ PG.expression = expr
; debug = debug <> None
; mark = mark <> None
@@ -3627,8 +3626,7 @@ and cache = __3
and annots = __2 in
#64 "trxparse.trx"
-( jlog ~level:2 (sprintf "definition: %s" id) ;
- let entry =
+( let entry =
{ PG.expression = expr
; debug = debug <> None
; mark = mark <> None
View
6 libtrx/trxparse_functor.ml.cache
@@ -3077,8 +3077,7 @@ and cache = __3
and annots = __2 in
#64 "trxparse.trx"
-( jlog ~level:2 (sprintf "definition: %s" id) ;
- let entry =
+( let entry =
{ PG.expression = expr
; debug = debug <> None
; mark = mark <> None
@@ -3629,8 +3628,7 @@ and cache = __3
and annots = __2 in
#64 "trxparse.trx"
-( jlog ~level:2 (sprintf "definition: %s" id) ;
- let entry =
+( let entry =
{ PG.expression = expr
; debug = debug <> None
; mark = mark <> None
Please sign in to comment.
Something went wrong with that request. Please try again.