[wp] small fix after rebase

src/kernel_services/analysis/interpreted_automata.ml

@@ -305,7 +305,7 @@ let build_automaton ~annotations kf =
   in
   let build_stmt_transition src dest stmt succ transition =
     ignore (build_stmt_next src dest stmt succ transition) in
-  
+
   let rec do_list do_one control labels = function
     | [] -> assert false
     | stmt :: [] -> do_one control labels stmt

src/plugins/wp/cfgGenerator.ml

@@ -65,7 +65,7 @@ let apply task ~kf ?bhvs ?prop () =
     List.iter (fun bhv ->
         task.modes <- { kf ; bhv } :: task.modes
       ) bhvs ;
-    Extlib.may (fun ip -> task.props <- `PropId ip) prop ;
+    Option.iter (fun ip -> task.props <- `PropId ip) prop ;
   end
 
 let notyet prop =