Permalink
Browse files

Kont fix complete.

  • Loading branch information...
labichn committed Dec 10, 2012
1 parent 9b7b845 commit f4912e2880ac79fb78a6ebdb136e330f77744d46
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/ljs/ljs_cesk.ml
View
@@ -477,7 +477,7 @@ let print_debug ce s k i = begin
print_string (string_of_kont k) ;
end
-(* eval_cesk : (string -> Ljs_syntax.exp) clos objectv (Store.t * value Store.t) kont int bool ->
+(* eval_cesk : (string -> Ljs_syntax.exp) clos (objectv Store.t * value Store.t) kont int bool ->
value * store *)
let rec eval_cesk desugar clos store kont i debug =
let store =

0 comments on commit f4912e2

Please sign in to comment.