diff options
| author | ppedrot | 2013-06-22 17:15:31 +0000 |
|---|---|---|
| committer | ppedrot | 2013-06-22 17:15:31 +0000 |
| commit | 03ae5e5a2feccb80e5510f9b0cd02db06bef484f (patch) | |
| tree | 3daf87720be67b3715fd795d1b1c1f453f00cbac /plugins | |
| parent | d33f10ce6dfc689da768f23360d46b88a57fc42e (diff) | |
Now, idtac closures use maps instead of association list.
The semantics changed slightly so it may break some scripts, though
it is very unlikely, as they would have to be quite intricated and
poorly written. Indeed, the test-suite passed just fine.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16604 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/setoid_ring/newring.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/setoid_ring/newring.ml4 b/plugins/setoid_ring/newring.ml4 index d5c8094d42..388431a62b 100644 --- a/plugins/setoid_ring/newring.ml4 +++ b/plugins/setoid_ring/newring.ml4 @@ -183,7 +183,7 @@ let exec_tactic env n f args = let lid = List.init n (fun i -> Id.of_string("x"^string_of_int i)) in let res = ref [||] in let get_res ist = - let l = List.map (fun id -> List.assoc id ist.lfun) lid in + let l = List.map (fun id -> Id.Map.find id ist.lfun) lid in res := Array.of_list l; TacId[] in let getter = |