Add missing temp_env parameter to documentation of Clight.eval_expr (#…

…523)
AbsInt · Sep 9, 2024 · 7bd609f · 7bd609f
1 parent 7dccd5f
commit 7bd609f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cfrontend/Clight.v b/cfrontend/Clight.v
@@ -361,7 +361,7 @@ Variable e: env.
 Variable le: temp_env.
 Variable m: mem.
 
-(** [eval_expr ge e m a v] defines the evaluation of expression [a]
+(** [eval_expr ge e le m a v] defines the evaluation of expression [a]
   in r-value position.  [v] is the value of the expression.
   [e] is the current environment and [m] is the current memory state. *)