aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-inference.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/synth/synth-inference.adb')
-rw-r--r--src/synth/synth-inference.adb4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/synth/synth-inference.adb b/src/synth/synth-inference.adb
index 8df96d677..cb7a0ee41 100644
--- a/src/synth/synth-inference.adb
+++ b/src/synth/synth-inference.adb
@@ -82,7 +82,7 @@ package body Synth.Inference is
-- Assume the condition is canonicalized, ie of the form:
-- CLK and EXPR.
-- FIXME: do it!
- return Has_Clock (Get_Driver (Get_Input (Inst, 0)));
+ return Has_Clock (Get_Input_Net (Inst, 0));
when others =>
return False;
end case;
@@ -154,7 +154,7 @@ package body Synth.Inference is
case Get_Id (Inst) is
when Id_Edge =>
-- Get rid of the edge gate, just return the signal.
- Clk := Get_Driver (Get_Input (Inst, 0));
+ Clk := Get_Input_Net (Inst, 0);
when Id_And =>
-- Assume the condition is canonicalized, ie of the form:
-- CLK and EXPR.